Jan van Brügge e32da890c9 isabelle: Add desktop entry		2021-07-19 12:04:30 +02:00
..
default.nix	isabelle: Add desktop entry	2021-07-19 12:04:30 +02:00