]>
2009-05-21 | Merge commit 'upstream/master' into pub/po | blob | commitdiff | raw | |
2009-05-19 | correction; unchanged pages not rescanned | blob | commitdiff | raw | |
2009-05-19 | efficiency | blob | commitdiff | raw | diff to current | |
2009-05-19 | Merge branch 'master' into po | blob | commitdiff | raw | diff to current | |
2009-05-18 | A further development of the idea. | blob | commitdiff | raw | diff to current | |
2009-05-18 | Fixed a wikilink target. | blob | commitdiff | raw | diff to current | |
2009-05-18 | a development on the topic of defining classes of pages | blob | commitdiff | raw | diff to current | |