Skip to content
This repository was archived by the owner on Apr 18, 2026. It is now read-only.

Allow not copying the dictionary#88

Open
JeWe37 wants to merge 1 commit intogoogle:masterfrom
JeWe37:master
Open

Allow not copying the dictionary#88
JeWe37 wants to merge 1 commit intogoogle:masterfrom
JeWe37:master

Commits

Commits on Aug 25, 2023