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