diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2016-02-16 19:40:56 +0100 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2016-02-16 19:40:56 +0100 |
| commit | a3054d7ee26b469762060699cf9e51f764b51dd7 (patch) | |
| tree | efb90929373f73d997730fb2cf0769a3db1a5c84 /config | |
| parent | 7770a8be785249e7ca71f7ba7a57eaf35215dffb (diff) | |
| parent | 9aceaa0c0557d12c6d3b0521aa04595862f6162b (diff) | |
| download | Nim-a3054d7ee26b469762060699cf9e51f764b51dd7.tar.gz | |
Merge pull request #3863 from yglukhov/patch-1
Added -Wpragmas ignore
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions