Simon Brooke e59f160f70 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!		2013-10-31 08:10:05 +00:00
..
org.eclipse.jdt.core.prefs	OK, my first git repository may have got smashed, but that isn't a reason	2013-10-31 08:10:05 +00:00