From b0b89f4904cceee2c7ed0ef2d049e3615c66c32d Mon Sep 17 00:00:00 2001
From: mnt <mnt@opencascade.com>
Date: Fri, 11 Dec 2009 12:47:14 +0000
Subject: [PATCH] Removing earlier removed file

---
 src/WOKBuilderDef/CMPLRS_wnt.awk | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100755 src/WOKBuilderDef/CMPLRS_wnt.awk

diff --git a/src/WOKBuilderDef/CMPLRS_wnt.awk b/src/WOKBuilderDef/CMPLRS_wnt.awk
deleted file mode 100755
index 115b242..0000000
--- a/src/WOKBuilderDef/CMPLRS_wnt.awk
+++ /dev/null
@@ -1,8 +0,0 @@
-BEGIN {
-	FS="\"[ \t]*";
-}
-/#line 1 / {
-	gsub("[\\]","/",$2);
-	gsub("//","/", $2);
-	print $2
-}
-- 
2.39.5