<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi, all<div><br></div><div>I noticed that there are a lot of old wiki files lying around in WebWerkstatt. </div><div>I made a little page that helps to browse other pages and to rename or delete them.</div><div><br></div><div><a href="http://lively-kernel.org/repository/webwerkstatt/WikiBrowser.xhtml">http://lively-kernel.org/repository/webwerkstatt/WikiBrowser.xhtml</a></div><div><br></div><div><img id="d239b504-335f-4e52-8fdc-01a5a10d3a15" height="964" width="1166" apple-width="yes" apple-height="yes" src="cid:EE71CA3F-EE73-4A33-9C5B-C1721C1C5555@hpi.uni-potsdam.de"></div><div><br></div><div><br></div><div>Have fun,</div><div>Jens</div></body></html>