From 6b88cb792647f94f4a7ffb6fb7cdb715bdd8b6ac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 13 Jun 2016 03:32:58 +0200 Subject: [PATCH] =?UTF-8?q?Renamed=20SAS=20=E2=86=92=20ASP=20encoding=20fo?= =?UTF-8?q?r=20clarity.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...quential-incremental.lp => sas-meta-sequential-incremental.lp} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename encodings/{meta-sequential-incremental.lp => sas-meta-sequential-incremental.lp} (100%) diff --git a/encodings/meta-sequential-incremental.lp b/encodings/sas-meta-sequential-incremental.lp similarity index 100% rename from encodings/meta-sequential-incremental.lp rename to encodings/sas-meta-sequential-incremental.lp