From 8d25ac58519dc3d2a6c58e8daee3dfd85ad1e56e Mon Sep 17 00:00:00 2001
From: Tristan Gingold
Date: Sat, 26 Sep 2015 06:09:48 +0200
Subject: Remove unused files.

---
 src/grt/grt-arch_none.adb | 7 -------
 src/grt/grt-arch_none.ads | 6 ------
 2 files changed, 13 deletions(-)
 delete mode 100644 src/grt/grt-arch_none.adb
 delete mode 100644 src/grt/grt-arch_none.ads

(limited to 'src')

diff --git a/src/grt/grt-arch_none.adb b/src/grt/grt-arch_none.adb
deleted file mode 100644
index 14db1c7..0000000
--- a/src/grt/grt-arch_none.adb
+++ /dev/null
@@ -1,7 +0,0 @@
-package body Grt.Arch_None is
-   function Get_Time_Stamp return Ghdl_U64 is
-   begin
-      return 0;
-   end Get_Time_Stamp;
-end Grt.Arch_None;
-
diff --git a/src/grt/grt-arch_none.ads b/src/grt/grt-arch_none.ads
deleted file mode 100644
index f8ae437..0000000
--- a/src/grt/grt-arch_none.ads
+++ /dev/null
@@ -1,6 +0,0 @@
-with Grt.Types; use Grt.Types;
-
-package Grt.Arch_None is
-   function Get_Time_Stamp return Ghdl_U64;
-   pragma Inline (Get_Time_Stamp);
-end Grt.Arch_None;
-- 
cgit