# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1415142760 28800
# Node ID 6fc2a2001ac2e4c8a47f3b501965bfbc9ccd5acf
# Parent  be9f792abaadc9cbc506e711ce5629532d0e3998
mv

diff -r be9f792abaad -r 6fc2a2001ac2 python/dictify.py
--- a/python/dictify.py	Tue Nov 04 15:11:08 2014 -0800
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,19 +0,0 @@
-#!/usr/bin/env python
-
-divider = ':'
-
-def dictify(string):
-    lines = [ i.strip() for i in string.split('\n') if i.strip() ]
-    return dict([i.split(divider,1) for i in lines 
-                 if len(i.split(divider,1)) == 2])
-    
-if __name__ == '__main__':
-    import sys
-    feh = sys.stdin.read()
-    thedict = dictify(feh)
-    if sys.argv[1:]:
-        for i in sys.argv[1:]:
-            if thedict.has_key(i):
-                print thedict[i]
-    else:
-        print thedict
diff -r be9f792abaad -r 6fc2a2001ac2 python/example/dictify.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/python/example/dictify.py	Tue Nov 04 15:12:40 2014 -0800
@@ -0,0 +1,19 @@
+#!/usr/bin/env python
+
+divider = ':'
+
+def dictify(string):
+    lines = [ i.strip() for i in string.split('\n') if i.strip() ]
+    return dict([i.split(divider,1) for i in lines 
+                 if len(i.split(divider,1)) == 2])
+    
+if __name__ == '__main__':
+    import sys
+    feh = sys.stdin.read()
+    thedict = dictify(feh)
+    if sys.argv[1:]:
+        for i in sys.argv[1:]:
+            if thedict.has_key(i):
+                print thedict[i]
+    else:
+        print thedict