]> git.tue.mpg.de Git - osl.git/commit
Update .gitignore.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 12 Sep 2020 20:15:32 +0000 (22:15 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 23 Sep 2020 16:57:45 +0000 (18:57 +0200)
commit9af930dc855cadc975af58e4e6d338c0baca565d
tree966aa2426edc660ed1ecfa9388d1deec18c62830
parentd2305288dbd2e71a6235446e5b1a6a5857ccab05
Update .gitignore.

Both files no longer exist in the tree.
.gitignore