Franco Fichtner a309cd75a6 */*: sync with upstream ... Taken from: HardenedBSD		2019-08-18 05:35:32 +02:00
..
patch-doc-Makefile.doc
patch-etc_desktop_proofgeneral.desktop
patch-isar-interface
patch-Makefile
pkg-message.in	*/*: sync with upstream	2019-08-18 05:35:32 +02:00