eggrobin/Principia — pull request #7 by eggrobin (2014-03-31 16:59:52+00:00)
Title: Change extensions

GitHub is confused by .h, .ipp or .inl files.