diff options
| author | /dev/humancontroller <devhc@example.com> | 2017-02-06 17:51:46 +0100 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-02-06 17:58:53 +0100 |
| commit | 0a18fe245ad759b6a7b1f64d2cf2a775c081421c (patch) | |
| tree | 1cfc8dc95cd12909c7876d4160431689ec90cf9c /.gitignore | |
| parent | cefe2746569d4b9564c4cb99f6c9eaeb0f083d5a (diff) | |
reserve (by default) the "dep" directory for the repository of dependencies (system libraries)
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,2 +1,3 @@ /bld /GNUmakefile.local +/dep/ |