aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/demoisa
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2011-10-14 12:49:34 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2011-10-14 12:49:34 +0000
commit280ba03f4778c35f74b8f35de981b807e8ccae1f (patch)
treecf8a1a0b617572ce2003e1a598487274f12ff685 /etc/demoisa
parent22a42a12676490fe865baad82fef28e74571a84e (diff)
Bump doc version numbers to 4.2pre.
Diffstat (limited to 'etc/demoisa')
0 files changed, 0 insertions, 0 deletions