IntenseWebs/opentofu
3
0
Fork 0
mirror of https://github.com/opentofu/opentofu.git synced 2025-02-12 00:16:18 -06:00
Code Issues Packages Projects Releases Wiki Activity
22e73d7b68
opentofu/scripts
History
Paul Hinze 3080c827d8 scripts: change website_push to push from HEAD 
so it works properly on release branches
2015-07-28 18:38:59 -05:00
..
build.sh use /usr/bin/env bash 2015-06-30 11:52:11 -06:00
dist.sh use /usr/bin/env bash 2015-06-30 11:52:11 -06:00
website_push.sh scripts: change website_push to push from HEAD 2015-07-28 18:38:59 -05:00