diff options
| author | Omar Polo <op@omarpolo.com> | 2021-07-13 11:45:51 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2021-07-13 11:45:51 +0000 |
| commit | 9ffdade26c5a3075484c5a44f27f225bf87efb85 (patch) | |
| tree | 0c2e77a9cf0590c881796ca6a7cd821a17c06377 /.gitignore | |
| parent | a7da55710eb2b35969e3d59453405aebc7640528 (diff) | |
sort
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,6 @@ *.pem TAGS gmid -!contrib/gmid gg *.o *.swp @@ -16,6 +15,7 @@ config.h.old config.log config.log.old configure.local +!contrib/gmid !contrib/vim/syntax_checkers/gmid regress/testdata regress/*.pem |