Compare commits

..

No commits in common. "637648e01f3182b6a4d4dd8e7e5a661ce13c9850" and "8c3d532e1455136203662e8edbd80fdb5aad55b0" have entirely different histories.

2 changed files with 0 additions and 5 deletions

View File

@ -5,7 +5,6 @@
<removed_mapping ext="bat" approved="true" type="PLAIN_TEXT" /> <removed_mapping ext="bat" approved="true" type="PLAIN_TEXT" />
<removed_mapping ext="log" approved="true" type="PLAIN_TEXT" /> <removed_mapping ext="log" approved="true" type="PLAIN_TEXT" />
<removed_mapping ext="cmd" approved="true" type="PLAIN_TEXT" /> <removed_mapping ext="cmd" approved="true" type="PLAIN_TEXT" />
<mapping pattern="sonic-pi-tool" type="Ruby" />
<mapping pattern="setenv*" type="Shell Script" /> <mapping pattern="setenv*" type="Shell Script" />
<mapping pattern="elixir" type="Shell Script" /> <mapping pattern="elixir" type="Shell Script" />
<removed_mapping ext="bat" approved="true" type="PLAIN_TEXT" /> <removed_mapping ext="bat" approved="true" type="PLAIN_TEXT" />

View File

@ -30,10 +30,6 @@
<option name="url" value="https://github.com/sonic-pi-net/sonic-pi.git" /> <option name="url" value="https://github.com/sonic-pi-net/sonic-pi.git" />
<option name="userName" value="" /> <option name="userName" value="" />
</UrlAndUserName> </UrlAndUserName>
<UrlAndUserName>
<option name="url" value="https://github.com/lpil/sonic-pi-tool.git" />
<option name="userName" value="" />
</UrlAndUserName>
</list> </list>
</option> </option>
<option name="cloneParentDir" value="$USER_HOME$/Development" /> <option name="cloneParentDir" value="$USER_HOME$/Development" />