Exactly the same as 940be2f61ac8e709bf0bd74cfd55616446ee7898, stupid git
[irspy-moved-to-github.git] / web / htdocs / doc.html
2010-04-21 Wolfram Schneiderremove stale $Id$
2006-09-28 Mike TaylorNew