about summary refs log tree commit diff
path: root/doc/dev
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-12-07T23·58+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-12-07T23·58+0000
commit096194ab29db244fe791404e02b729a3e38eee8d (patch)
treedbd75e895023bf71f364b5a16f4ca4756ec155ca /doc/dev
parent6833e8bbe89dc61bda59a1e04c01415501ad4133 (diff)
* Remove ancient terminology.
Diffstat (limited to 'doc/dev')
0 files changed, 0 insertions, 0 deletions