diff options
author | Flaviu Tamas <tamasflaviu@gmail.com> | 2015-05-26 16:48:17 -0400 |
---|---|---|
committer | Flaviu Tamas <tamasflaviu@gmail.com> | 2015-05-26 16:48:17 -0400 |
commit | 0479831fb07f4a8daf6ce7d5f8eef7a0a320a04d (patch) | |
tree | 176388938fed9d6448792ef61fe300e236526660 /lib/pure | |
parent | 14b2bbc24c3fa6d2dfd982438508a3de5082abed (diff) | |
download | Nim-0479831fb07f4a8daf6ce7d5f8eef7a0a320a04d.tar.gz |
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
|