diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-02-08 11:44:46 -0800 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-02-08 11:44:46 -0800 |
| commit | b08049b006fbeca7e911a6d549d1846e6ff53f38 (patch) | |
| tree | 1fab543b4495c0f32e2ec42bea8bd2dcab993441 /doc | |
| parent | 1b4f2db8b763b7349effbfc59bd260343b948a23 (diff) | |
added some notes on Mac OS X testing, added the headless runner to repository layout list
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions