7 lines
245 B
XML
7 lines
245 B
XML
<?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" />
|
|
</component>
|
|
</project> |