Skip to content
Snippets Groups Projects
Commit 852ffcdf authored by Pregmodder's avatar Pregmodder
Browse files

Merge branch 'fixes' into 'pregmod-master'

Strict typechecking for decoration names, and corresponding fixes

See merge request pregmodfan/fc-pregmod!9098
parents fea22e80 dd4351a7
No related branches found
No related tags found
Loading
Showing
with 68 additions and 56 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment