diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-07-23 16:06:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-23 16:06:54 -0700 |
| commit | 6489be800acf18e24e2d1e321d1cedef71e29787 (patch) | |
| tree | f1340c5e8bcdf36a1de40764c6bd188c313723b2 /deb | |
| parent | aa21f964a683f65ec0fd70fc2e0dc264b1cadcf2 (diff) | |
| parent | 49f44602d2d554554d9faeeed57ef118765417c9 (diff) | |
Merge pull request #3038 from tarleb/patch-1
Use http to access online documentation
Diffstat (limited to 'deb')
0 files changed, 0 insertions, 0 deletions