diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-06-11 00:14:29 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-06-11 00:14:29 +0200 |
| commit | 90b1030dec0a5fb6ac0f2a4332fecfa7264bbf44 (patch) | |
| tree | 758c5eabd5194ebbe83f462d3a9a1ce1a59f146f /lib/pure | |
| parent | 8db27d30e6153fc943ef54e837ed9a3df7d56004 (diff) | |
| download | Nim-90b1030dec0a5fb6ac0f2a4332fecfa7264bbf44.tar.gz | |
incremental compilation: save the configuration
Diffstat (limited to 'lib/pure')
0 files changed, 0 insertions, 0 deletions