{"push_id":780765143,"size":1,"distinct_size":1,"ref":"refs/heads/new_inst_file_splitting","head":"9e9467caed9f12ac3a1e1794a1c446ec453adb9a","before":"d7bf33c61573f8f6f3fbd8a57ef8bd166adf74d8","commits":[{"sha":"9e9467caed9f12ac3a1e1794a1c446ec453adb9a","author":{"email":"c736dec3702ab06ca4cf06a956de2e27f3abf797@gmail.com","name":"Timo Heister"},"message":"automatic .inst chunking in expand_instantiations\n\nRemove the manually added #if blocks to group .inst files into several chunks\nand generate them automatically inside expand_instantiations.","distinct":true,"url":"https://api.github.com/repos/tjhei/dealii/commits/9e9467caed9f12ac3a1e1794a1c446ec453adb9a"}]}