diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2015-05-26 22:50:35 +0200 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2015-05-26 22:50:35 +0200 |
commit | 4fc9dabd58295cb4df27d2246c7f19661c878367 (patch) | |
tree | 176388938fed9d6448792ef61fe300e236526660 /lib/pure | |
parent | 14b2bbc24c3fa6d2dfd982438508a3de5082abed (diff) | |
parent | 0479831fb07f4a8daf6ce7d5f8eef7a0a320a04d (diff) | |
download | Nim-4fc9dabd58295cb4df27d2246c7f19661c878367.tar.gz |
Merge pull request #2816 from flaviut/optionals-to-options
Rename optionals module to options
Diffstat (limited to 'lib/pure')
-rw-r--r-- | lib/pure/options.nim (renamed from lib/pure/optionals.nim) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/pure/optionals.nim b/lib/pure/options.nim
index ef01e1260..ef01e1260 100644
--- a/lib/pure/optionals.nim
+++ b/lib/pure/options.nim
|