doc/README.md contains placeholders instead of version numbers

rzach / multlog

M. Ultlog, the genius many-valued logic expert

https://logic.at/multlog

7 stars 1 forks source link

doc/README.md contains placeholders instead of version numbers #2

Closed gsalzer closed 3 years ago

gsalzer commented 3 years ago

The headline of the README in https://github.com/rzach/multlog/tree/master/doc contains the placeholders @ml_version@ and @ilc_version@ instead of the current version numbers.

gsalzer commented 3 years ago

Ah, I see, the README is only shown accidentally as doc contains a copy for distribution