Changed decimal places in preferences to be number lists.
authorJoe <unknown>
Tue, 11 Mar 2014 22:57:43 +0000 (23:57 +0100)
committerJoe <unknown>
Tue, 11 Mar 2014 22:57:43 +0000 (23:57 +0100)
commitf0f89234bd583a568785a7421873295793f80fee
tree3c406619089c565c6c5ba5e867758bb7eb1aef6a
parentdf65ec827c744f93a02e57ce8bca074bfd478cdc
Changed decimal places in preferences to be number lists.
admin/display_prefs.php