Artifact 8a19e47935d80e79f924b043501873bb57fa9016:
- Executable file
unix/configure
- 2014-05-09 13:50:41 — part of check-in [239fb8a769] on branch novem — merge trunk (user: jan.nijtmans size: 581205)
- 2014-05-09 13:50:41 — part of check-in [239fb8a769] on branch novem — merge trunk (user: jan.nijtmans size: 581205)