OK, my first git repository may have got smashed, but that isn't a reason

for doing without. Reinitialising, history lost. And this time push to
remote!
This commit is contained in:
Simon Brooke 2013-10-31 08:10:05 +00:00
commit e59f160f70
20 changed files with 6205 additions and 0 deletions

View file

@ -0,0 +1,2 @@
compile.on.save=true
user.properties.file=/home/simon/.jmonkeyplatform/3.0/build.properties