setup/setup.js.in
2021-06-29 Add a --paths option to app-manager and use it in setup.js and update.js
2014-11-15 Add GUI front-end to setup and update