|
menu.css
|
Integrate CGI front end
|
2017-02-06 16:31:43 +01:00 |
|
style.css
|
Integrate CGI front end
|
2017-02-06 16:31:43 +01:00 |
|
template-head
|
Integrate CGI front end
|
2017-02-06 16:31:43 +01:00 |
|
template-tail
|
Update footer
|
2017-02-07 11:10:20 +01:00 |
|
web.py
|
Add ident search field and change a few constants
|
2017-02-07 10:56:39 +01:00 |
