From e2281042c9bdbf4151328abf9037bdffa500682b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 18 May 2020 01:46:16 +0200 Subject: [PATCH] Rename example files for consistency --- examples/{exact-cover.lp => example-exact-cover.lp} | 0 examples/{exact-cover.spec => example-exact-cover.spec} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename examples/{exact-cover.lp => example-exact-cover.lp} (100%) rename examples/{exact-cover.spec => example-exact-cover.spec} (100%) diff --git a/examples/exact-cover.lp b/examples/example-exact-cover.lp similarity index 100% rename from examples/exact-cover.lp rename to examples/example-exact-cover.lp diff --git a/examples/exact-cover.spec b/examples/example-exact-cover.spec similarity index 100% rename from examples/exact-cover.spec rename to examples/example-exact-cover.spec