From 9c195bf5d86d67ea5eb419ccf6e48dc153e57c68 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 4 Nov 2014 20:14:19 +0100
Subject: Move sources to src/ subdirectory.

---
 psl/psl.ads | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 psl/psl.ads

(limited to 'psl/psl.ads')

diff --git a/psl/psl.ads b/psl/psl.ads
deleted file mode 100644
index a2f4bdce0..000000000
--- a/psl/psl.ads
+++ /dev/null
@@ -1,3 +0,0 @@
-package PSL is
-   pragma Pure (PSL);
-end PSL;
-- 
cgit v1.2.3