From 0479831fb07f4a8daf6ce7d5f8eef7a0a320a04d Mon Sep 17 00:00:00 2001
From: Flaviu Tamas <tamasflaviu@gmail.com>
Date: Tue, 26 May 2015 16:48:17 -0400
Subject: [PATCH] Rename optionals module to options

---
 lib/pure/{optionals.nim => options.nim} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename lib/pure/{optionals.nim => options.nim} (100%)

diff --git a/lib/pure/optionals.nim b/lib/pure/options.nim
similarity index 100%
rename from lib/pure/optionals.nim
rename to lib/pure/options.nim