Fix the push command in the Makefile
commit21afe74f0254560bdb343eddaff0f7dab79b5053
authorCarsten Dominik <dominik@nb-dominik2.science.uva.nl>
Thu, 31 Jan 2008 15:21:27 +0000 (31 16:21 +0100)
committerCarsten Dominik <dominik@nb-dominik2.science.uva.nl>
Thu, 31 Jan 2008 15:21:27 +0000 (31 16:21 +0100)
tree060f81c6b7b5611fd8eba89977846efb940ed720
parent636a8033150dd1dfe0860de1458051928a5f4564
Fix the push command in the Makefile
Makefile