tree f0c145cc484eba9b0753b9f3d2a571d2bc12eef6
parent 06e99aaf409eff4693c4256e59bb58313052818d
author Christoph Hertzberg <chtz@informatik.uni-bremen.de> 1576262457 +0100
committer Christoph Hertzberg <chtz@informatik.uni-bremen.de> 1576262457 +0100

Renamed .hgignore to .gitignore (removing hg-specific "syntax" line)