tickets: Use django.utils.format for number formatting.
-rw-r--r-- 55 .gitignore
-rw-r--r-- 0 __init__.py
-rw-r--r-- 3505 auth.py
-rw-r--r-- 817 dbsettings.py.tmpl
-rw-r--r-- 333 localsettings.py.tmpl
-rwxr-xr-x 542 manage.py
-rw-r--r-- 3463 settings.py
drwxr-xr-x - tickets
-rw-r--r-- 816 urls.py