diff options
| author | Daniel Neus <[email protected]> | 2016-01-09 12:37:13 +0100 |
|---|---|---|
| committer | Daniel Neus <[email protected]> | 2016-01-09 12:37:13 +0100 |
| commit | f391635f202cf6f83539bd69688975a30f5f874f (patch) | |
| tree | 206459e94ab379ba18a8e8035b1855327aa02126 /.gitignore | |
| parent | 52afcc69d97621e5a3880798d7814a474e71c03b (diff) | |
| parent | 791b3dc9947a94d35e6d54b274b0512fb0ebd09c (diff) | |
Merge remote-tracking branch 'remotes/github/master' into noreturn
# Conflicts:
# src/build-data/cc/gcc.txt
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore index 29287a7db..c52bc9553 100644 --- a/.gitignore +++ b/.gitignore @@ -49,6 +49,3 @@ coverage/ # Profiler outputs cachegrind.* callgrind.* - -# Test output -src/tests/outdata |