6 Commits

Author	SHA1	Message	Date
Michele Caini	21bc1c51ba	updated doc (see #213)	2019-03-31 15:43:19 +02:00
Michele Caini	33626fa47c	mostly renaming	2019-03-30 15:27:33 +01:00
Michele Caini	9fcc1e17f2	signal handler: substitution	2019-03-30 14:56:43 +01:00
Michele Caini	3beac98499	updated doc	2019-03-29 14:03:12 +01:00
Michele Caini	f70ce9dd26	added faq doc	2019-03-29 00:23:16 +01:00
Michele Caini	112d13c127	updated doc	2019-03-28 14:56:50 +01:00