diff options
| author |  Benjamin Jones <bjones@galois.com> | 2012-10-31 15:21:02 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2012-10-31 15:21:02 -0700 |
| commit | 92eb52ee3093b79e944d8d15724d0da0800efe09 (patch) | |
| tree | bf5e1c2afd1e084643ac745d0b0e782f3d6b3918 /doc/manual_src/gettingStarted.md | |
| parent | 5c17f450f1c25fc6c602770c3802f13b3806e5c6 (diff) | |
added note about manifest warning
Diffstat (limited to 'doc/manual_src/gettingStarted.md')
0 files changed, 0 insertions, 0 deletions