Skip to content

Allow to configure the version file encoding#408

Open
Vampire wants to merge 1 commit intoresearchgate:mainfrom
Vampire:version-file-encoding
Open

Allow to configure the version file encoding#408
Vampire wants to merge 1 commit intoresearchgate:mainfrom
Vampire:version-file-encoding

Commits

Commits on Apr 22, 2026