Index of /build_system/web

File		Rev.	Age	Author	Last log entry
Parent Directory
js/		5780	11 years	rda	move js in separate file
test_index.php		5780	11 years	rda	move js in separate file
style.css		5774	11 years	rda	distinct column for submission
log_files.php		5771	11 years	rda	read log files directly in page
lib.php		5769	11 years	rda	fix warnings (undeclared/unset vars)
conf.php		5716	11 years	rda	fix capacity and usage computation
index.php		5040	11 years	pterjan	Sort correctly minutes compared to seconds
banner.html		2892	12 years	boklm	add banner file
maintdb.php		2519	12 years	rda	parse package name, in case a full file name is provided
favicon.png		645	13 years	dmorgan	Use local favicon