Index of (formerly) notable things
debian | Debian packages useful for DICE |
pub | Various public things |
moz | Useful things for firefox |
/blog.inf.ed.ac.uk/gdutton | Computing Blog |
gdutton/wiki | personal wiki |
cgi | CGI Scripts: |
---|---|
devmeet | Next development meeting |
opmeet | Next operational meeting |
yumtoupdaterpms | YumToUpdaterpms |
/wiki.inf.ed.ac.uk/DICE/PackageSearchProcedure | AptToPkgList (not a web tool) |