diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-26 16:51:47 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-26 16:51:47 +0200 |
| commit | f7f186fadc4fc25f676e8810910468b0b9dab346 (patch) | |
| tree | f7cde7923d59291ffd8a5d411e8364b1f297c3ce /Makefile | |
| parent | 8fcaa193c268043a9c6c5caf027783a0a6b7b15f (diff) | |
Only use old vim plugin when necessary
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions