repository name
Closed this issue · 1 comments
mperry commented
@mmhelloworld I think this repo should be renamed to be consistent with the other repos. My suggestion is frege-native-gen.
mmhelloworld commented
Sounds good. I have renamed it.
Closed this issue · 1 comments
@mmhelloworld I think this repo should be renamed to be consistent with the other repos. My suggestion is frege-native-gen.
Sounds good. I have renamed it.