From 9c3cfe8f7ba503f8fd365269fb8c04915edaa231 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 13 Aug 2016 11:10:29 +0200 Subject: [PATCH] =?UTF-8?q?Dropped=20=C2=BBmeta=C2=AB=20prefix=20of=20enco?= =?UTF-8?q?ding=20file=20because=20there=20will=20only=20be=20meta=20encod?= =?UTF-8?q?ings.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../{meta-sequential-incremental.lp => sequential-incremental.lp} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename encodings/{meta-sequential-incremental.lp => sequential-incremental.lp} (100%) diff --git a/encodings/meta-sequential-incremental.lp b/encodings/sequential-incremental.lp similarity index 100% rename from encodings/meta-sequential-incremental.lp rename to encodings/sequential-incremental.lp