Trivial changes.
[jben2_gui.git] / jben / 
treeb14bcc0fab6db3e68473dcc8f35221f6e329ab12
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