diff --git a/BUILDING b/BUILDING index d2f776e1a815ce8405cd84a5b067e12e5b3795c5..bbd652778c7fb6862d638ac747ddf4ca54822d6f 100644 --- a/BUILDING +++ b/BUILDING @@ -1,5 +1,4 @@ -*- Mode: text -*- - Building CMU CL ===============