diff options
Diffstat (limited to 'push.sh')
-rwxr-xr-x | push.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -18,6 +18,7 @@ status . evol-all status client-data client-data status server-code server-code status server-data server-data +status server-local server-local status tools tools status server-code/src/evol evol-hercules status music music |