Markus Kowalewski 04d283ecda molden: patch to deactivate extension installer script		2018-08-19 11:29:31 +02:00
..
default.nix	molden: patch to deactivate extension installer script	2018-08-19 11:29:31 +02:00
dont_register_file_types.patch	molden: patch to deactivate extension installer script	2018-08-19 11:29:31 +02:00