5 Commits

Author	SHA1	Message	Date
Andrea Mistrali	51bd0516d6	Fixes for OMP prompts and for default PATH	2021-12-17 09:14:01 +01:00
Andrea Mistrali	0ae9cfdb9e	Small changes to omp theme	2021-12-16 13:33:53 +01:00
Andrea Mistrali	3beca17833	Fix git up/down arrows	2021-12-16 13:26:46 +01:00
Andrea Mistrali	eba3c19aab	Fix execution time	2021-12-16 13:25:50 +01:00
Andrea Mistrali	8a913947e3	Added OMP mypure theme	2021-12-16 13:25:23 +01:00