summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2014-05-24 15:04:37 +0300
committerAndrei Karas <akaras@inbox.ru>2014-05-24 15:04:37 +0300
commit008f60f47bb9be7a456ed754b45ab4bb14ec436c (patch)
tree788ab43015e64689a36cb188f8e6a0ecbc84cce1 /.gitignore
parent19b130c8dd9119bf9eafb7756bcde828e4fc9b48 (diff)
downloadmplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.tar.gz
mplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.tar.bz2
mplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.tar.xz
mplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.zip
Add run script into gitignore.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index ca6dfcd..15342f0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -86,6 +86,7 @@ build/gprof.txt
build/gprof.dot
build/gmon.out
build/out.txt
+build/run
# debian
debian/*