summaryrefslogtreecommitdiff
path: root/gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2023-05-13 00:40:55 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2023-05-13 00:40:55 +0200
commit2c27bc6c6d040e55affc4f8670dda7472db3c2b7 (patch)
tree9b49a89f98aa5d5343f2359b2c2e6e06b689d0bb /gitignore
parentb25a88629498ecb4c9db553579542130dbdc0bcb (diff)
Remove obsolete vimcom target
Diffstat (limited to 'gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint