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