diff options
| author | /dev/humancontroller <devhc@example.com> | 2017-04-15 17:16:44 +0200 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-04-15 17:16:44 +0200 |
| commit | 9def5a580fcecbf60739455ec93f13e631bf7bad (patch) | |
| tree | 6af425c7502793f70d560d3e05bfca32cf5f2d8a /.gitignore | |
| parent | 7bfcf1fae886456c17e7e2fe9d47530ad1fd8162 (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 @@ /GNUmakefile.local /bld/ +/dep/ |