add override configuration file option to builder.sh
[brisk.git] / doc /
2017-01-12 Matteo NastasiMerge remote-tracking branch 'origin/master' into nginx
2015-11-23 Matteo Nastasi ... management of user avatar refactored (removed books...
2015-10-15 Matteo Nastasi ... apprentice workflow completed
2014-11-28 Matteo Nastasi ... version update v4.16.0
2014-11-28 Matteo Nastasi ... wrong argument to brisk_cds_execute fixed
2014-11-27 Matteo Nastasi ... canvas for tests
2014-11-27 Matteo Nastasi ... refactored exit management and add ghost_session class...
2014-05-22 Matteo Nastasi ... update TODO.txt and ARCHITECTURE.txt
2014-03-26 Matteo Nastasi ... new users management (incomplete)
2014-02-26 Matteo Nastasi ... Merge branch 'master' into auto-maintenance
2014-02-25 Matteo Nastasi ... new placement points management done
2013-11-03 Matteo Nastasi ... Merge branch 'tournaments' v4.10.0
2013-10-31 Matteo Nastasi ... added some new info into ARCHITECTURE.txt
2013-01-31 Matteo Nastasi ... first step of the preferences management
2011-11-28 Matteo Nastasi ... fix typo in ARCHITECTURE.txt
2011-05-18 Matteo Nastasi ... log_shme() function added and DBG_SHME flag
2011-05-13 Matteo Nastasi ... lifecycle added in the documentation
2011-03-20 Matteo Nastasi ... doc/ARCHITECTURE.txt added where explained internals...