2021-09-11 16:47:06 -07:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
|
<project version="4">
|
|
|
|
|
<component name="VcsDirectoryMappings">
|
|
|
|
|
<mapping directory="$PROJECT_DIR$" vcs="Git" />
|
|
|
|
|
<mapping directory="$PROJECT_DIR$/lib/libflint" vcs="Git" />
|
2022-03-07 13:32:18 -08:00
|
|
|
<mapping directory="$PROJECT_DIR$/lib/uthash" vcs="Git" />
|
2021-09-11 16:47:06 -07:00
|
|
|
</component>
|
|
|
|
|
</project>
|
