diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2015-06-05 12:53:15 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2015-06-05 12:53:15 +0200 |
| commit | f8326ad4c047f5d45817d0424dfb0b17aa17b538 (patch) | |
| tree | 2f2d5d61c5c56f21e99261856560d3bf41fd62c3 /lib | |
| parent | bf70a137f01b6cc885d07e982a372670e53cd123 (diff) | |
| parent | b0db8126a52fd48352b0b2ce8c7d99e0c98083ef (diff) | |
| download | Nim-f8326ad4c047f5d45817d0424dfb0b17aa17b538.tar.gz | |
Merge pull request #2859 from nanoant/patch/norewrite-pragma
{.noRewrite.} pragma for term rewritingDiffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions