Make push-docs executable.

This commit is contained in:
Craig Citro
2015-01-06 02:20:25 -08:00
parent 36b7ab7093
commit 21ce0ed3f5

0
scripts/push-docs Normal file → Executable file
View File