From 8b55d8f159d1153367d1029cfa8c8f69ccb6a992 Mon Sep 17 00:00:00 2001 From: Andreas Stadelmeier Date: Wed, 11 Sep 2024 09:46:37 +0200 Subject: [PATCH] rename pl -> lp --- src/main/asp/{unify.pl => unify.lp} | 0 src/main/asp/{unifyPaper.pl => unifyPaper.lp} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/main/asp/{unify.pl => unify.lp} (100%) rename src/main/asp/{unifyPaper.pl => unifyPaper.lp} (100%) diff --git a/src/main/asp/unify.pl b/src/main/asp/unify.lp similarity index 100% rename from src/main/asp/unify.pl rename to src/main/asp/unify.lp diff --git a/src/main/asp/unifyPaper.pl b/src/main/asp/unifyPaper.lp similarity index 100% rename from src/main/asp/unifyPaper.pl rename to src/main/asp/unifyPaper.lp