Index of /build_system/web

File		Rev.	Age	Author	Last log entry
Parent Directory
js/		6677	11 years	rda	Show stats before the box, after the buttons
lib.php		6348	11 years	rda	Do not take seconds for minutes (sorts better between builds)
maintainers.php		6186	11 years	rda	show/list unmaintained packages & biggest maintainers
unmaintained.php		6186	11 years	rda	show/list unmaintained packages & biggest maintainers
index.php		5850	11 years	rda	update bg color; add status badge before package name
style.css		5850	11 years	rda	update bg color; add status badge before package name
log_files.php		5827	11 years	rda	fix search
conf.php		5815	11 years	rda	reorganize page grid
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