wok view mediawiki/description.txt @ rev 25264

updated re2c (1.3 -> 3.0)
author Hans-G?nter Theisgen
date Fri Jul 15 08:59:55 2022 +0100 (2022-07-15)
parents
children
line source
1 MediaWiki helps you collect and organize knowledge and make it available
2 to people.
3 It's powerful, multilingual, free and open, extensible, customizable,
4 reliable, and free of charge.