aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/eigen_gen_credits
Commit message (Expand)AuthorAge
* * eigen2->eigen3Gravatar Benoit Jacob2009-11-19
* the answer to the ultimate question in life is: 664Gravatar Benoit Jacob2009-10-06
* fix permissions 666->660Gravatar Benoit Jacob2009-10-02
* finally, actually purge the Main PageGravatar Benoit Jacob2009-10-02
* 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
* add eigen_gen_credits scriptGravatar Benoit Jacob2009-09-23