also pull before push to git
[physical.git] / repository handling tools /
drwxr-xr-x   ..
-rwxr-xr-x 188 commit and push
-rwxr-xr-x 352 update web site