source: utils/dev

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @10655   22 months nicolasmartin Updating of dev. guide + review of install_dev_env.sh to be a bit more …
(edit) @10649   22 months nicolasmartin Import a developer guide to help on operations with the repository * …
(edit) @10637   22 months nicolasmartin Move install_dev_env.sh under dev
(add) @10636   22 months nicolasmartin Create dev directory
Note: See TracRevisionLog for help on using the revision log.