auto-remove the borders

2026-06-16 04:26:26 +02:00 · 2010-06-08 14:26:53 +00:00
parent 3dc98c9165
commit a605ebd2d8
1 changed files with 2 additions and 0 deletions
@@ -31,3 +31,5 @@ javadoc -public -notimestamp -d everything \

 cp stylesheet.css core/
 cp stylesheet.css everything/
+cp index.html core/
+cp index.html everything/