Andrew Hamilton 48fc34c632 Also auto-saving when all the results are up-to-date.		2018-08-15 23:03:43 +10:00
..
urwid	Used test-distributions to fix the installation.	2017-06-28 09:07:40 +01:00
__main__.py	Auto-save after every 100 results are calculated.	2018-08-14 16:17:37 +10:00
ColorMap.py	webserver: Added a simple webserver to serve a project's reports.	2018-05-13 21:23:57 +10:00
fill3.py	tools: Fix screen corruption from TextWidgets containing line breaks.	2018-07-24 22:08:29 +10:00
gut.py	Coding style.	2018-07-05 14:22:40 +10:00
LS_COLORS.sh	Used test-distributions to fix the installation.	2017-06-28 09:07:40 +01:00
lscolors.py	Coding style.	2018-07-05 14:22:40 +10:00
terminal.py	Coding style.	2018-07-05 14:22:40 +10:00
termstr.py	Change the default background of scrollbars.	2018-07-20 18:04:56 +10:00
tools.py	tools: Fix screen corruption from TextWidgets containing line breaks.	2018-07-24 22:08:29 +10:00
tools.toml	tools: Always show problems with problem status.	2018-07-05 21:46:06 +10:00
webserver.py	Coding style.	2018-05-15 18:50:30 +10:00
worker.py	Also auto-saving when all the results are up-to-date.	2018-08-15 23:03:43 +10:00