vibr fe08e779f0 remove record-type server and associated procedures ... (being a relict of parsing of general URIs)		2004-10-11 09:05:24 +00:00
..
html	html is part of CVS tree. Thus, ignore index.html and man* files in html directory instead.	2004-05-12 19:57:17 +00:00
latex	remove record-type server and associated procedures	2004-10-11 09:05:24 +00:00
.gitignore	html is part of CVS tree. Thus, ignore index.html and man* files in html directory instead.	2004-05-12 19:57:17 +00:00