Index of /build_system/web

File		Rev.	Age	Author	Last log entry
Parent Directory
js/		5845	11 years	rda	add missing_deps kw
banner.html		2892	12 years	boklm	add banner file
conf.php		5815	11 years	rda	reorganize page grid
favicon.png		645	13 years	dmorgan	Use local favicon
index.php		5849	11 years	rda	remove unneeded revision info
lib.php		5832	11 years	rda	correct comparison sign (gte)
log_files.php		5827	11 years	rda	fix search
maintdb.php		2519	12 years	rda	parse package name, in case a full file name is provided
style.css		5848	11 years	rda	adjust contrast: saturate green bg, darker default font color, package explicit …