diff tools/import_mediawiki.py @ 440:50938f53ce8c

Fix incorrect import.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 08 Jul 2017 19:59:36 -0700
parents bf65fba2854c
children
line wrap: on
line diff