matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2001-02-12	Stefano Zacchiroli	Removed rebuilding of urls_of_uris.db on update user...	commit \| commitdiff \| tree
2001-02-12	Stefano Zacchiroli	modified "update" request handling, now getter rebuild...	commit \| commitdiff \| tree
2001-02-03	Stefano Zacchiroli	Reindented some parts	commit \| commitdiff \| tree
2001-01-31	Stefano Zacchiroli	Added control on some "open" call (with 'or die ...')	commit \| commitdiff \| tree
2001-01-30	Stefano Zacchiroli	Added mixed cache support through HTTP_GETTER_CACHE_MODE...	commit \| commitdiff \| tree
2001-01-24	Stefano Zacchiroli	Added debian dir for debian packaging	commit \| commitdiff \| tree
2001-01-18	Stefano Zacchiroli	Added perl modules check	commit \| commitdiff \| tree
2001-01-15	Stefano Zacchiroli	Added preliminary support for gzipped library	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.