# HG changeset patch # User samer # Date 1424443367 0 # Node ID cda9dbcd319dba8262346497e52db092d557a502 # Parent 0acbb359fe6ae1d5e109de3562da4635a531a9b8# Parent b35af87b0459a894448c9119ad7458b825d54669 Merge diff -r b35af87b0459 -r cda9dbcd319d Makefile --- a/Makefile Sat Apr 12 18:09:32 2014 +0100 +++ b/Makefile Fri Feb 20 14:42:47 2015 +0000 @@ -56,3 +56,5 @@ install-pl: make -C prolog install + +distclean: clean