diff --git a/BUILD b/BUILD deleted file mode 100644 index e31e6a251..000000000 --- a/BUILD +++ /dev/null @@ -1,3 +0,0 @@ - -For build instructions see http://www.klayout.de/build.html. -