HCoop
/
bpt
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Header tweakery
[bpt/portal.git]
/
exn.mlt
diff --git
a/exn.mlt
b/exn.mlt
index
8e534a4
..
7987ad6
100644
(file)
--- a/
exn.mlt
+++ b/
exn.mlt
@@
-2,7
+2,7
@@
<title>Hcoop Portal: Exception</title>
</head><body>
-<h1>
<b>Exception</b>
</h1>
+<h1>
Exception
</h1>
<% switch Web.getExn () of
Fail msg => %>