Adolfo Gómez García 35a3e48b89 merged		2017-03-10 10:04:19 +01:00
..
linux	Fixed doing "pkill" in correct session logout (only needs to do this on session timeout and persistent machines...)	2017-01-19 12:46:22 +01:00
src	merged	2017-03-10 10:04:19 +01:00
.gitignore	Removed pkill right now	2017-01-19 11:02:33 +01:00
.project	general rearrange of actors	2014-11-10 05:01:32 +01:00
.pydevproject	general rearrange of actors	2014-11-10 05:01:32 +01:00