diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-06-26 18:31:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-26 18:31:35 +0200 |
| commit | d08b9eb6731a70504be6d856723fbc94dc7bd506 (patch) | |
| tree | 59e7e3395ddaf3251e86952c42dd9f40d3889ea8 /doc/manual.rst | |
| parent | 5976bd96be3d14e033005333d8ddab85b2ee7874 (diff) | |
| parent | 7e89f9a09a2b181fae6e6e3caaf7bea781c3e864 (diff) | |
| download | Nim-d08b9eb6731a70504be6d856723fbc94dc7bd506.tar.gz | |
Merge pull request #8123 from jwollen/cfile_extensions
Don't remove extension of source files twice, if filenames contain dots
Diffstat (limited to 'doc/manual.rst')
0 files changed, 0 insertions, 0 deletions