nitiwiki: Update to new INI api
authorAlexandre Terrasa <alexandre@moz-code.org>
Sat, 15 Jun 2019 18:55:56 +0000 (14:55 -0400)
committerAlexandre Terrasa <alexandre@moz-code.org>
Thu, 20 Jun 2019 23:12:03 +0000 (19:12 -0400)
commit6cd9249ab72db95b0f707a90d9ebe41acbb6c597
tree7705069e9f9dbd87e1d5bbd98e808994876485ae
parent71075d4570a6be41686c9f8f1a403afce845bdd4
nitiwiki: Update to new INI api

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
contrib/nitiwiki/src/wiki_base.nit