params.json

{"name":"Jberthold.github.io","tagline":"jost-berthold.de site","body":"### jost-berthold.de\r\nThis is Jost Berthold's webspace (hosted at github.com, @jberthold ).\r\n\r\nMy computer science home page is http://www.diku.dk/~berthold/.\r\n\r\nMore information should be added here eventually...\r\n","google":"","note":"Don't delete this file! It's used internally to help with page regeneration."}