]> OCCT Git - occt-wok.git/commitdiff
Updating and removing useless and empty files
authorinv <inv@opencascade.com>
Mon, 18 Jan 2010 12:21:29 +0000 (12:21 +0000)
committerinv <inv@opencascade.com>
Mon, 18 Jan 2010 12:21:29 +0000 (12:21 +0000)
src/WOKDFLT/FILES [deleted file]

diff --git a/src/WOKDFLT/FILES b/src/WOKDFLT/FILES
deleted file mode 100755 (executable)
index e69de29..0000000