update .gitignore
authorChristian Grothoff <christian@grothoff.org>
Mon, 1 Jan 2018 14:22:31 +0000 (15:22 +0100)
committerChristian Grothoff <christian@grothoff.org>
Mon, 1 Jan 2018 14:30:04 +0000 (15:30 +0100)
commitbdc122cd8c4b27ad06971fe441ce5a45b8863560
treec2bf026baed200424f4e02cd5b9170695d665292
parent4b766fd267ca83a8faa4e22353d5942074d6f2b7
update .gitignore
src/rps/.gitignore