]> OCCT Git - occt-wok.git/commitdiff
Removing earlier removed file
authormnt <mnt@opencascade.com>
Fri, 11 Dec 2009 12:47:14 +0000 (12:47 +0000)
committermnt <mnt@opencascade.com>
Fri, 11 Dec 2009 12:47:14 +0000 (12:47 +0000)
src/WOKBuilderDef/CMPLRS_wnt.awk [deleted file]

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