diff options
Diffstat (limited to 'examples/phrasebook/www/old-phrasebook.html')
| -rw-r--r-- | examples/phrasebook/www/old-phrasebook.html | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/examples/phrasebook/www/old-phrasebook.html b/examples/phrasebook/www/old-phrasebook.html deleted file mode 100644 index 4e6113bd4..000000000 --- a/examples/phrasebook/www/old-phrasebook.html +++ /dev/null @@ -1,30 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> -<html> <head> -<title>Phrasebook</title> -<link rel=stylesheet type="text/css" href="phrasebook.css"> -<script type="text/JavaScript" src="support.js"></script> -<script type="text/JavaScript" src="phrasebook.js"></script> -</head> - -<body onload="start_minibar()"> - -<div id=minibar> -</div> -<hr> - -<small> - -Based on -<a href="http://www.cs.chalmers.se/~hallgren/minibar/minibar.html">minibar</a>, -powered by -<a href="http://www.grammaticalframework.org">GF</a>, -see -<a href="../phrasebook.html">doc</a>. - - -</body> - -</html> - - - |