params.json

{
  "name": "Symbolicdata.GitHub.io",
  "tagline": "",
  "body": "# symbolicdata.github.io\r\n\r\nPages were converted with https://github.com/FreeON/convert-mediawiki-to-gh-pages\r\nfrom the mediawiki project pages at http://wiki.symbolicdata.org\r\n\r\nIt does not yet work properly, start at https://symbolicdata.github.io/Main_Page\r\n",
  "note": "Don't delete this file! It's used internally to help with page regeneration."
}