Leandro Lanzieri dfa722c519
gnrc/rpl: Move GNRC_RPL_WITHOUT_PIO to 'CONFIG_' namespace
Also evaluate its value using IS_ACTIVE when possible.
2020-05-14 15:56:59 +02:00
..
2019-08-02 10:37:47 +02:00
2019-11-23 22:39:38 +01:00
2019-11-23 22:39:07 +01:00
2019-03-25 14:10:04 +01:00
2017-11-13 18:44:15 +01:00
2020-03-19 17:17:26 +01:00
2019-11-23 22:39:07 +01:00