Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
Forked from Iris / Iris
Loading
user avatar
Rename from_heap -> of_heap.
Robbert Krebbers authored 
This is shorter and more consistent with naming elsewhere.
205a111e
History
user avatar 205a111e
History
Name Last commit Last update