diff options
| author | http://jmtd.livejournal.com/ <http://jmtd.livejournal.com/@web> | 2010-04-26 15:29:04 +0000 |
|---|---|---|
| committer | Joey Hess <joey@finch.kitenet.net> | 2010-04-26 15:29:04 +0000 |
| commit | d3c994d980c2f52102c78c0157ce06140c639bc6 (patch) | |
| tree | 32a9a835aaaf477482c66d99261cdaedf000398a /doc | |
| parent | 76e8e4ea838516ebdb8e981fff47efa6af836079 (diff) | |
fix indent
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/tips/convert_mediawiki_to_ikiwiki.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn index 3a266bc8b..38de01109 100644 --- a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn +++ b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn @@ -59,7 +59,7 @@ If you have access to the relational database in which your mediawiki data is stored, it is possible to derive a list of page names from this. With mediawiki's MySQL backend, the page table is, appropriately enough, called `table`: - SELECT page_namespace, page_title FROM page; + SELECT page_namespace, page_title FROM page; As with the previous method, you will need to do some filtering based on the namespace. |