chiark / gitweb /
build improvements
[userv-utils.git] / settings.make
2013-01-27 Ian Jacksonbuild improvements
2011-08-20 Ian JacksonMerge branch 'zealot'
2010-05-22 Ian Jacksongeneric build fixes
2010-05-22 Ian JacksonChanges to make it appear to work on chiark
2003-07-06 ian*** empty log message ***
2003-07-06 ian*** empty log message ***