aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
Commit message (Expand)AuthorAge
* add workaround for GuillaumeGravatar Benoit Jacob2009-11-14
* introduce check target, and some renamingGravatar Benoit Jacob2009-11-12
* * add non-default option to initialize matrices by 0Gravatar Benoit Jacob2009-11-12
* * add ./debug and ./release scriptsGravatar Benoit Jacob2009-11-12
* handle mark's first commits before he configured his idGravatar Benoit Jacob2009-10-20
* the answer to the ultimate question in life is: 664Gravatar Benoit Jacob2009-10-06
* use provided $USER if available, let the caller do the update (safer)Gravatar Thomas Capricelli2009-10-04
* fix permissions 666->660Gravatar Benoit Jacob2009-10-02
* finally, actually purge the Main PageGravatar Benoit Jacob2009-10-02
* remove (changesets), it's enough numbers like thisGravatar Benoit Jacob2009-09-24
* * sort by last name alphabeticallyGravatar Benoit Jacob2009-09-24
* use -f so that the script is happy even if the log file is not thereGravatar Thomas Capricelli2009-09-24
* oops, don't append, overwriteGravatar Benoit Jacob2009-09-24
* improvements, especially: automatically flush the server side cacheGravatar Benoit Jacob2009-09-24
* fix typoGravatar Benoit Jacob2009-09-23
* add eigen_gen_credits scriptGravatar Benoit Jacob2009-09-23
* new script that update from mercurial, make the doc, and upload the resultGravatar Thomas Capricelli2009-08-15
* new script to generate and upload the docs for a given branchGravatar Benoit Jacob2009-08-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 06:18:03 +0000