diff --git a/build.proj b/build.proj index 2116d7bbf..70f5743e8 100644 --- a/build.proj +++ b/build.proj @@ -45,7 +45,7 @@ of patent rights can be found in the PATENTS file in the same directory.