From cd6b058755901dfdce6b1804b4a1cb3e9e6bbf17 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Sun, 5 Apr 2015 23:36:37 +0600
Subject: Remove src/config.ads, it's autogenerated now.

---
 src/config.ads | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 src/config.ads

diff --git a/src/config.ads b/src/config.ads
deleted file mode 100644
index 424eba4..0000000
--- a/src/config.ads
+++ /dev/null
@@ -1,6 +0,0 @@
-package Config is
-    -- In the future this should be autogenerated
-    
-    Linux : constant Boolean := True;
-    FreeBSD : constant Boolean := False;
-end Config;
-- 
cgit v1.2.3