diff tools/import_mediawiki.py @ 438:b259b440a9bd

web: Add cheap way to serve page files.
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 17 Apr 2017 21:36:33 -0700
parents bf65fba2854c
children
line wrap: on
line diff