diff options
| author | Andrei Karas <akaras@inbox.ru> | 2014-05-24 15:04:37 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2014-05-24 15:04:37 +0300 |
| commit | 008f60f47bb9be7a456ed754b45ab4bb14ec436c (patch) | |
| tree | 788ab43015e64689a36cb188f8e6a0ecbc84cce1 /build | |
| parent | 19b130c8dd9119bf9eafb7756bcde828e4fc9b48 (diff) | |
| download | mplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.tar.gz mplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.tar.bz2 mplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.tar.xz mplint-008f60f47bb9be7a456ed754b45ab4bb14ec436c.zip | |
Add run script into gitignore.
Diffstat (limited to 'build')
| -rwxr-xr-x | build/run | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/build/run b/build/run deleted file mode 100755 index 17c9955..0000000 --- a/build/run +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash - -../run/bin/mplint >out.txt - |