5 Commits

Author	SHA1	Message	Date
Andrea Mistrali	c951f3d048	New symbol for dirty repos	2021-12-10 19:46:37 +01:00
Andrea Mistrali	c5825d2137	Cleanups	2021-08-09 16:03:13 +02:00
System Administrator	8782a9288a	Remove pure, will add as submodule, no debug in mypure	2020-09-15 17:34:26 +02:00
System Administrator	8e04b7fa22	Fixed to history and debug prompt	2020-09-02 13:55:23 +02:00
Andrea Mistrali	f71f19f920	Added original pure and renamed pure to mypure	2020-06-17 17:23:57 +02:00