Slight change.
[jben2_gui.git] / jben / 
tree63ca1dbb4ea90524d43017b17e835bbf019a1faf
drwxr-xr-x   ..
-rw-r--r-- 1620 __init__.py
-rw-r--r-- 1555 alphanum.py
-rw-r--r-- 1295 app.py
-rw-r--r-- 1255 configure.py.in
-rw-r--r-- 524 console.py
-rw-r--r-- 1626 dict.py
-rw-r--r-- 5103 dict_downloader.py
-rw-r--r-- 5846 download_thread.py
-rw-r--r-- 117 global_refs.py
drwxr-xr-x - images
drwxr-xr-x - interface
-rw-r--r-- 1792 jben_globals.py
-rw-r--r-- 549 main.py
-rw-r--r-- 3361 preferences.py