about summary refs log tree commit diff
path: root/AUTHORS
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-11-12T11·08+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-11-12T11·08+0000
commita519bb063505a8d39e6b1e12f130d66771676e23 (patch)
tree409ae5b6acf3a63e8fe3b6669c2f452d4a8b8841 /AUTHORS
parent96598e7b06dad0de082730cab8992eacc440e535 (diff)
* Some somewhat ad hoc mechanism to allow the build farm to monitor
  build progress.

Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions