search

nLabs-nScope / nLab

GNU General Public License v3.0
9 stars 2 forks source link

make the version string appear smaller #55

Closed davidjmeyer closed 1 year ago