HCoop
/
bpt
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Roll call system, and update forms to method=post
[bpt/portal.git]
/
header.mlt
diff --git
a/header.mlt
b/header.mlt
index
ef04ddd
..
12510cc
100644
(file)
--- a/
header.mlt
+++ b/
header.mlt
@@
-1,8
+1,8
@@
<html><head>
<% val title =
case $"title" of
- "" => "H
c
oop Portal"
- | t => ("H
c
oop Portal: " ^ t) %>
+ "" => "H
C
oop Portal"
+ | t => ("H
C
oop Portal: " ^ t) %>
<title><% Web.html title %></title>
</head><body>
HCoop / bpt / portal.git / blobdiff