Fix how version number is saved/retrieved. Version is now stored in
[monkeysphere.git] / doc / zimmermann /
drwxr-xr-x   ..
-rw-r--r-- 2131 changelog
-rw-r--r-- 294 https-proxy
-rw-r--r-- 3422 index.html