diff options
| author | teor <teor@torproject.org> | 2018-07-31 11:09:54 +1000 |
|---|---|---|
| committer | teor <teor@torproject.org> | 2018-07-31 11:13:10 +1000 |
| commit | fc9f8c28fbdc89501ebdca4792d5ff86490f9295 (patch) | |
| tree | 209f8f5770cdacb97278abbe2bc0fdc7a1dcabd9 /scripts/maint/checkOptionDocs.pl.in | |
| parent | acb54dee7bd247ae2d631de5a0d63d246574d479 (diff) | |
| download | tor-fc9f8c28fbdc89501ebdca4792d5ff86490f9295.tar.gz tor-fc9f8c28fbdc89501ebdca4792d5ff86490f9295.zip | |
Appveyor CI: Fix GitHub provider detection
Part of 26979.
Diffstat (limited to 'scripts/maint/checkOptionDocs.pl.in')
0 files changed, 0 insertions, 0 deletions