remove obsolete entry from .gitignore
authorPeter Palfrader <peter@palfrader.org>
Sat, 6 Jan 2018 13:10:39 +0000 (14:10 +0100)
committerPeter Palfrader <peter@palfrader.org>
Sat, 6 Jan 2018 13:10:39 +0000 (14:10 +0100)
commit0c151515a117fffa6ab91aa60da0d3e277a901b0
tree2069279256e915f189cc101692d3bc17e43d9df5
parent7a2dbc9ecc8b3a8ab2f1e102ac9f03d565e9a371
remove obsolete entry from .gitignore
.gitignore