Browse Source

IDEA churn

dev/git-series/gccdum
Matt Godbolt 6 years ago
parent
commit
c6d8fac32e
  1. 1
      .idea/jsLibraryMappings.xml
  2. 15
      .idea/libraries/gcc_explorer_node_modules.xml

1
.idea/jsLibraryMappings.xml

@ -1,6 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="JavaScriptLibraryMappings">
<file url="file://$PROJECT_DIR$" libraries="{gcc-explorer/node_modules}" />
<includedPredefinedLibrary name="Node.js Core" />
</component>
</project>

15
.idea/libraries/gcc_explorer_node_modules.xml

@ -1,15 +0,0 @@
<component name="libraryTable">
<library name="gcc-explorer node_modules" type="javaScript">
<properties>
<option name="frameworkName" value="node_modules" />
<sourceFilesUrls>
<item url="file://$PROJECT_DIR$/node_modules" />
</sourceFilesUrls>
</properties>
<CLASSES>
<root url="file://$PROJECT_DIR$/node_modules" />
</CLASSES>
<JAVADOC />
<SOURCES />
</library>
</component>
Loading…
Cancel
Save