Andrew Hamilton 92982b80a3 Coding style.		2019-08-25 12:28:53 +10:00
..
urwid	Rename the project to Eris.	2018-09-17 23:59:38 +10:00
__init__.py	Eris is a python package.	2018-10-01 13:32:59 +10:00
__main__.py	Shutting down cleanly now that asyncio is not noisy.	2019-08-21 17:43:22 +10:00
ColorMap.py	Rename the project to Eris.	2018-09-17 23:59:38 +10:00
fill3.py	Make large results display quickly by loading them in pieces.	2019-08-21 16:05:06 +10:00
gut.py	Update copyrights.	2019-02-04 11:48:47 +10:00
LS_COLORS.sh	Rename the project to Eris.	2018-09-17 23:59:38 +10:00
lscolors.py	Update copyrights.	2019-02-04 11:48:47 +10:00
paged_list.py	Coding style.	2019-08-25 12:28:53 +10:00
terminal.py	tools: Enable color in shellcheck.	2019-07-20 14:22:10 +10:00
termstr.py	tools: Ignore unfinished ascii escape codes.	2019-07-21 23:00:35 +10:00
tools.py	Correctly empty cache while result is refreshed.	2019-08-23 17:31:24 +10:00
tools.toml	tools: Added elinks browser for viewing html in color.	2019-07-24 14:04:04 +10:00
webserver.py	Use the ellipsis unicode character.	2019-06-22 13:29:34 +10:00
worker.py	Make large results display quickly by loading them in pieces.	2019-08-21 16:05:06 +10:00