Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
iris_core.v
Find file
Blame
History
Permalink
Revert "IrisRes no longer hides core resource and language types.": it's not actually needed
· 7279eda4
Ralf Jung
authored
Feb 05, 2015
This reverts commit 608fe86e22b912d9d591cd2d0c4e2943b1abe6ce.
7279eda4