diff options
| author |  David Bremner <bremner@debian.org> | 2012-01-17 08:47:51 -0400 |
|---|---|---|
| committer | David Bremner <bremner@debian.org> | 2012-01-17 22:53:31 -0400 |
| commit | d51b7842149dcaedd02c4e5b6ba74a5bccd926a9 (patch) | |
| tree | 7b23517d526d671351ab031d5dbd312b8d0bb381 /Makefile.local | |
| parent | 8ea82928b91e847298e4586f9db9734e727a418a (diff) | |
Start devel directory for developer tools and documentation.
We had a lot of back and forth about the name of this directory, but
nothing very conclusive. In the end, I just chose "devel" just to move
on.
Diffstat (limited to 'Makefile.local')
0 files changed, 0 insertions, 0 deletions