chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeTue, 24 May 2016 13:59:25 +0000 (14:59 +0100)
shortlog
2016-05-24 Ian Jacksondo not destroy .i.i.make-exist, since this sometimes... master
2016-05-24 Ian Jacksonorientation-related changes, found
2012-11-06 Ian Jacksonguess TYPE from PRESENT and ONLINE
2012-11-06 Ian Jacksonraise tooltip
2012-06-12 Ian Jacksonbetter output in tooltip
2012-06-12 Ian Jacksondoes some tooltips
2012-06-12 Ian Jacksonreorganise debug etc.
2012-06-12 Ian Jacksonfix respawn error handling
2012-06-12 Ian Jacksonexample can run other programs
2012-06-12 Ian Jacksonfix option processing
2012-06-12 Ian Jacksonargument parser
2012-06-10 Ian Jacksonadjust default
2012-06-09 Ian Jacksonorientation
2012-06-09 Ian Jacksonwip xbatmon-simple-tray
2012-06-09 Ian Jacksonremove obsolete program
2012-06-09 Ian Jacksonremove some obsolete code
...
heads
13 months ago master