Simon Duquennoy 5a04f1969e Remove explicit configuration of nullrdc as it is the new default		2017-05-17 14:19:14 +02:00
..
Makefile	Remove explicit configuration of nullrdc as it is the new default	2017-05-17 14:19:14 +02:00
shell-db.c