julianb0 c8d899db9e vm		2019-09-08 19:04:07 +02:00
..
dv	vm	2019-09-08 19:04:07 +02:00
in	vm	2019-09-08 19:04:07 +02:00
la	ppc	2019-08-21 18:47:03 +02:00
ob	vm	2019-09-08 19:04:07 +02:00
pc	vm	2019-09-08 19:04:07 +02:00
Makefile	new encoding	2019-07-24 16:52:26 +02:00