From: mnt Date: Fri, 11 Dec 2009 12:47:14 +0000 (+0000) Subject: Removing earlier removed file X-Git-Url: http://git.dev.opencascade.org/gitweb/?a=commitdiff_plain;h=b0b89f4904cceee2c7ed0ef2d049e3615c66c32d;p=occt-wok.git Removing earlier removed file --- 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 -}