[DEFAULT]
BASEURL=http://en.wikipedia.org/wiki/Idris_(operating_system)
[InternetShortcut]
URL=http://en.wikipedia.org/wiki/Idris_(operating_system)
Modified=808C4C5D4B4EC70116