2 Commits (f6331da00042d048d85a68762ae0b12bd99dc37f)

Author	SHA1	Message	Date
pavoni	6ee086c0bb	Fix thread termination on exit.	2016-04-01 15:36:33 +01:00
pavoni	9fc73fa644	Refactor vera into a platform.	2016-03-16 09:03:56 +00:00