remove leftover files (obs from Bernd Gutmann)

2010-08-05 22:36:00 +01:00 · 2010-08-05 22:36:00 +01:00 · a4129c507d
parent 7997f2e217
commit a4129c507d
1 changed files with 2 additions and 0 deletions
--- a/changes-6.0.html
+++ b/changes-6.0.html
@ -17,6 +17,8 @@

 <h2>Yap-6.0.7:</h2>
 <ul>
+<li> FIXED: remove leftover files including two lib*.a (obs from
+  Bernd Gutmann).</li>
 <li> FIXED: Make clean should result in recompiling all *.o (obs from
  Bernd Gutmann).</li>
 <li> NEW: Ulrich Neumerkel's lambda library.</li>