From 1798c4aeca70ac8d0a243684d6a798fbc65735f8 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 20:57:42 +0100 Subject: gentoo resync : 14.07.2018 --- dev-ml/tyxml/metadata.xml | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 dev-ml/tyxml/metadata.xml (limited to 'dev-ml/tyxml/metadata.xml') diff --git a/dev-ml/tyxml/metadata.xml b/dev-ml/tyxml/metadata.xml deleted file mode 100644 index d1a8e687d88b..000000000000 --- a/dev-ml/tyxml/metadata.xml +++ /dev/null @@ -1,15 +0,0 @@ - - - - - ml@gentoo.org - Gentoo ML Project - - - ocsigen/tyxml - - - Enables the camlp4 syntax extension (deprecated) - Enables the ppx syntax extension (preferred) - - -- cgit v1.2.3