lib/html/library_index_footer.template
author wenzelm
Fri, 16 Apr 2010 10:52:10 +0200
changeset 36162 0bd034a80a9a
parent 25235 04cb7e02ca38
permissions -rw-r--r--
added ML antiquotation @{make_string}, which produces proper pretty printed version in Poly/ML 5.3.0 or later;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25235
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     1
</body>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     2
</html>