update uthash

This commit is contained in:
2022-03-07 13:32:18 -08:00
parent b86d508820
commit 84e6b08127
2 changed files with 2 additions and 1 deletions

1
.idea/vcs.xml generated
View File

@ -3,5 +3,6 @@
<component name="VcsDirectoryMappings">
<mapping directory="$PROJECT_DIR$" vcs="Git" />
<mapping directory="$PROJECT_DIR$/lib/libflint" vcs="Git" />
<mapping directory="$PROJECT_DIR$/lib/uthash" vcs="Git" />
</component>
</project>