ignore perf files
authorChristian Grothoff <christian@grothoff.org>
Thu, 16 Feb 2017 22:25:39 +0000 (23:25 +0100)
committerChristian Grothoff <christian@grothoff.org>
Thu, 16 Feb 2017 22:25:39 +0000 (23:25 +0100)
commite15a29fb90a912b95d77c6f7fa1be46604d938fa
tree86016243adb27ae040d9699a4304023eab658fc3
parent376138d90fe4e97d8611a8b7dfb798e79aa427cb
ignore perf files
src/util/.gitignore