Age | Commit message (Expand) | Author |
---|---|---|
2013-05-26 | redo the library system; avoid hard-coded paths | Luke Shumaker |
2013-05-02 | src/devtools/Makefile: edit lib/*.sh scripts | Luke Shumaker |
2013-05-02 | fix the Makefiles | Luke Shumaker |
2013-05-02 | Update for the new devtools-par (major) | Luke Shumaker |
2013-01-17 | Integrate devtools into the build systemv20130117 | Luke Shumaker |
2013-01-17 | Merge commit '512436524cd3e70b9394d304bc9a43c6858c3695' as 'src/devtools' | Luke Shumaker |