|
|
737a5453d9
|
Allow 'ghtp' to set a specific remote
|
2021-04-29 08:44:57 -05:00 |
|
|
|
489143f160
|
Add'l CI/git script tweaks, fixes
|
2021-04-29 08:44:56 -05:00 |
|
|
|
cae4c76b56
|
Fix scripts using gawk and wget
|
2021-04-29 08:44:56 -05:00 |
|
|
|
80ce0d2bdb
|
Whitespace cleanup
|
2019-06-08 06:40:44 -05:00 |
|
|
|
2117a45d1a
|
Tweak usage strings
|
2019-01-23 23:10:32 -06:00 |
|
|
|
340f97d635
|
Add ghtp script to set remotes to HTTP or SSL
|
2016-06-16 12:56:39 -07:00 |
|
