3 Commits

Author	SHA1	Message	Date
Daniel Heule	8747474fd5	device now defaults to object_id	2016-08-02 11:06:17 +02:00
Daniel Heule	13b2443d6b	last cleanups	2016-08-02 10:07:27 +02:00
Daniel Heule	36c20230b8	optimize the usage of explorers for __filesystem	2016-07-29 15:27:13 +02:00