chiark / gitweb /
 
descriptionUnnamed repository; edit this file to name it for gitweb.
ownerIan Jackson
last changeTue, 5 Jul 2022 11:43:54 +0000 (12:43 +0100)
shortlog
2022-07-05 Ian Jacksonfix warnings master
2022-07-05 Ian Jacksonbuild fix
2022-07-05 Ian Jacksoninstall target
2022-07-05 Ian Jacksonfix for 64-bit!
2022-07-04 Ian Jacksonfound fix
2010-06-01 Ian Jacksonnew lwc_fixed for distrib.pats and distributions
2010-06-01 Ian JacksonInitial checkin as found.
heads
2 years ago master