configurationengine/linux.properties
changeset 0 2e8eeb919028
child 3 e7e0ae78773e
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/configurationengine/linux.properties	Thu Mar 11 17:04:37 2010 +0200
@@ -0,0 +1,1 @@
+os.linux.userbin = /home/hudson/bin
\ No newline at end of file