diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-05-04 05:19:47 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-05-04 05:19:47 +0200 |
| commit | 27300ad1ccb56ad1f83cb3769f64dae21f5a0b85 (patch) | |
| tree | e90ef82ae3ed47c36792924c4e3b660346c67adb /INSTALL | |
| parent | 9f0245ca991b6284f474cca9c0e466f0eec5d738 (diff) | |
round exec time
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions