Andrea Mistrali 360ae5fa01 Remove useless fancyTerm, dust and repo_char functions ... Removed functions, some prompts; rewrite prompts not to use fancyTerm		2021-10-27 16:05:28 +02:00
..
mypure	Cleanups	2021-08-09 16:03:13 +02:00
pure@35ae5ddec5	Bump pure module	2021-08-16 11:19:00 +02:00
prompt_minimal_setup	Remove useless fancyTerm, dust and repo_char functions	2021-10-27 16:05:28 +02:00
prompt_plain_setup	Remove useless fancyTerm, dust and repo_char functions	2021-10-27 16:05:28 +02:00
prompt_server_setup	Remove useless fancyTerm, dust and repo_char functions	2021-10-27 16:05:28 +02:00
pure_repo.txt	Remove pure, will add as submodule, no debug in mypure	2020-09-15 17:34:26 +02:00