From 0010102cdbf20b48be677de66cb0a6839ff2a839 Mon Sep 17 00:00:00 2001
From: hondet <hondet@nancy.private.lsv.fr>
Date: Fri, 27 Nov 2020 20:43:09 +0100
Subject: [PATCH] moved fishy files to sandbox
---
{encodings => sandbox}/cert_star.lp | 0
{prelude => sandbox}/numbers.lp | 0
{encodings => sandbox}/subtype_poly.lp | 0
{encodings => sandbox}/subtyping.lp | 0
4 files changed, 0 insertions(+), 0 deletions(-)
rename {encodings => sandbox}/cert_star.lp (100%)
rename {prelude => sandbox}/numbers.lp (100%)
rename {encodings => sandbox}/subtype_poly.lp (100%)
rename {encodings => sandbox}/subtyping.lp (100%)
diff --git a/encodings/cert_star.lp b/sandbox/cert_star.lp
similarity index 100%
rename from encodings/cert_star.lp
rename to sandbox/cert_star.lp
diff --git a/prelude/numbers.lp b/sandbox/numbers.lp
similarity index 100%
rename from prelude/numbers.lp
rename to sandbox/numbers.lp
diff --git a/encodings/subtype_poly.lp b/sandbox/subtype_poly.lp
similarity index 100%
rename from encodings/subtype_poly.lp
rename to sandbox/subtype_poly.lp
diff --git a/encodings/subtyping.lp b/sandbox/subtyping.lp
similarity index 100%
rename from encodings/subtyping.lp
rename to sandbox/subtyping.lp
--
GitLab