Index of /build_system/web

File		Rev.	Age	Author	Last log entry
Parent Directory
js/		5794	11 years	rda	remove unneeded column for status
banner.html		2892	12 years	boklm	add banner file
conf.php		5716	11 years	rda	fix capacity and usage computation
favicon.png		645	13 years	dmorgan	Use local favicon
index.php		5040	11 years	pterjan	Sort correctly minutes compared to seconds
lib.php		5788	11 years	rda	adjust columns width
log_files.php		5782	11 years	rda	show files tree structure
maintdb.php		2519	12 years	rda	parse package name, in case a full file name is provided
style.css		5793	11 years	rda	reformat figures display on top
test_index.php		5794	11 years	rda	remove unneeded column for status