Sun, 16 Dec 2012 19:54:54 -0700 Another little XML tag tweak.
Chris Jones <chris@cjones.org> [Sun, 16 Dec 2012 19:54:54 -0700] rev 108
Another little XML tag tweak.
Sun, 16 Dec 2012 17:10:21 -0700 Fixed up some more attribute labels.
Chris Jones <christian.jones@sri.com> [Sun, 16 Dec 2012 17:10:21 -0700] rev 107
Fixed up some more attribute labels.
(0) -100 -30 -10 -2 +2 +10 +30 tip