diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-18 13:34:51 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-18 13:34:51 -0700 |
| commit | 272df570e7536e4115db604f939e6c9af4ce2489 (patch) | |
| tree | b313029fa6a49f001af6653f8944489248daac9b /doc | |
| parent | 6820f63a15df2e286b956dac9bcd7006a2100361 (diff) | |
Add generate and deploy targets to push extensions to gh-pages
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions