From afdd79cd74f13618453d8da7d5212386ee9a6153 Mon Sep 17 00:00:00 2001
From: Norayr Chilingarian <norayr@arnet.am>
Date: Thu, 7 May 2020 19:48:20 +0400
Subject: [PATCH] removed UserDetails - not used anywhere.

---
 UserDetails.Mod | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 UserDetails.Mod

diff --git a/UserDetails.Mod b/UserDetails.Mod
deleted file mode 100644
index 22d2fbf..0000000
--- a/UserDetails.Mod
+++ /dev/null
@@ -1,16 +0,0 @@
-MODULE UserDetails;
-IMPORT Platform;
-
-PROCEDURE GetUsername*(VAR str : ARRAY  OF CHAR):BOOLEAN;
-BEGIN
- RETURN Platform.getEnv("USER", str);
-END GetUsername;
-
-
-
-
-
-
-
-
-END UserDetails.