diff options
| author | Katharina Fey <kookie@spacekookie.de> | 2019-07-14 20:28:52 +0100 |
|---|---|---|
| committer | Katharina Fey <kookie@spacekookie.de> | 2019-07-14 20:28:52 +0100 |
| commit | 0d8ebee2c81d78a0f3c2450736d206ae181e8470 (patch) | |
| tree | 9255520c8aafa1dde34449d1ae067076e569996b /gitignore/Coq.gitignore | |
| parent | 5374bed33eb4c1e233ed692510005da898ffbfa7 (diff) | |
Using the script in a not-nix system is a bit awkward
and potentially requires changing the path concatination
to point to a different directory to find `gitignore`
Diffstat (limited to 'gitignore/Coq.gitignore')
0 files changed, 0 insertions, 0 deletions