Open main menu

Changes

14 bytes added ,  22:19, 29 May 2020
= #4. Easy update =
For an update, just replay the install program: it also take care of updating the distributionincrementally:
* WINDOWS: <code>install.bat</code>
* UNIX: <code>install.sh</code> (set the executable permissions)