aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/README
Commit message (Expand)AuthorAge
* Clean up documentation around beginner's guide.Gravatar Siddharth Bhat2018-07-02
* Merge PR #6556: Remove dir-locals and ship suggested helper hooks instead.Gravatar Maxime Dénès2018-02-19
|\
| * Remove dir-locals and ship suggested helper hooks instead.Gravatar Gaëtan Gilbert2018-01-06
* | Add instructions for debugging from the command line (and in Windows)Gravatar Jim Fehrle2017-12-29
|/
* Remove unused Makefiles in dev/tools/Gravatar Gaëtan Gilbert2017-08-01
* dev/tool/anomaly-traces-parser.elGravatar Gabriel Scherer2015-06-26
* As many notation for for vectors as for List.Gravatar pboutill2011-05-03
* Remove obsolete script univdot, update dev doc about universesGravatar glondu2010-12-24
* Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTENDGravatar herbelin2006-05-23
* Restructuration dossier dev et mise à jour de certaines documentationsGravatar herbelin2006-05-23
* Pour les développeurs extérieursGravatar herbelin2001-12-19