Andrea Mistrali 44860d71f3 pull		2021-12-14 08:12:02 +01:00
..
mypure	New symbol for dirty repos	2021-12-10 19:46:37 +01: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
testfile	pull	2021-12-14 08:12:02 +01:00