Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: misc.xml Sprache: XML

Original von: Isabelle^©

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="DependencyValidationManager">
    <scope name="jEdit Sourcefiles" pattern="file[jEdit]:org//*.java" />
    <scope name="Modes" pattern="file[jEdit]:modes//*.xml" />
    <scope name="Macros" pattern="file[jEdit]:macros//*.bsh" />
    <option name="SKIP_IMPORT_STATEMENTS" value="false" />
  </component>
  <component name="EntryPointsManager">
    <entry_points version="2.0" />
  </component>
  <component name="IdProvider" IDEtalkID="F2207F966C6969E072D5CD57D729D7EA" />
  <component name="JavadocGenerationManager">
    <option name="OUTPUT_DIRECTORY" />
    <option name="OPTION_SCOPE" value="protected" />
    <option name="OPTION_HIERARCHY" value="true" />
    <option name="OPTION_NAVIGATOR" value="true" />
    <option name="OPTION_INDEX" value="true" />
    <option name="OPTION_SEPARATE_INDEX" value="true" />
    <option name="OPTION_DOCUMENT_TAG_USE" value="false" />
    <option name="OPTION_DOCUMENT_TAG_AUTHOR" value="false" />
    <option name="OPTION_DOCUMENT_TAG_VERSION" value="false" />
    <option name="OPTION_DOCUMENT_TAG_DEPRECATED" value="true" />
    <option name="OPTION_DEPRECATED_LIST" value="true" />
    <option name="OTHER_OPTIONS" value="" />
    <option name="HEAP_SIZE" />
    <option name="LOCALE" />
    <option name="OPEN_IN_BROWSER" value="true" />
  </component>
  <component name="NullableNotNullManager">
    <option name="myDefaultNullable" value="org.jetbrains.annotations.Nullable" />
    <option name="myDefaultNotNull" value="org.jetbrains.annotations.NotNull" />
    <option name="myNullables">
      <value>
        <list size="3">
          <item index="0" class="java.lang.String" itemvalue="org.jetbrains.annotations.Nullable" />
          <item index="1" class="java.lang.String" itemvalue="javax.annotation.Nullable" />
          <item index="2" class="java.lang.String" itemvalue="edu.umd.cs.findbugs.annotations.Nullable" />
        </list>
      </value>
    </option>
    <option name="myNotNulls">
      <value>
        <list size="3">
          <item index="0" class="java.lang.String" itemvalue="org.jetbrains.annotations.NotNull" />
          <item index="1" class="java.lang.String" itemvalue="javax.annotation.Nonnull" />
          <item index="2" class="java.lang.String" itemvalue="edu.umd.cs.findbugs.annotations.NonNull" />
        </list>
      </value>
    </option>
  </component>
  <component name="ProjectDetails">
    <option name="projectName" value="jEdit" />
  </component>
  <component name="ProjectResources">
    <default-html-doctype>http://www.w3.org/1999/xhtml</default-html-doctype>
  </component>
  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_6" assert-keyword="true" jdk-15="true" project-jdk-name="1.6" project-jdk-type="JavaSDK">
    <output url="file://$PROJECT_DIR$/build/idea" />
  </component>
  <component name="SvnBranchConfigurationManager">
    <option name="myConfigurationMap">
      <map>
        <entry key="$PROJECT_DIR$">
          <value>
            <SvnBranchConfiguration>
              <option name="branchMap">
                <map>
                  <entry key="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/branches">
                    <value>
                      <list>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1218396639209" />
                          <option name="revision" value="13258" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/branches/docking_framework" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1176951697724" />
                          <option name="revision" value="9462" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/branches/jedit43_nostrings" />
                        </SvnBranchItem>
                      </list>
                    </value>
                  </entry>
                  <entry key="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags">
                    <value>
                      <list>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1226862920462" />
                          <option name="revision" value="14070" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre16" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1224211014440" />
                          <option name="revision" value="13896" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre15" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1209312241226" />
                          <option name="revision" value="12514" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre14" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1205435718427" />
                          <option name="revision" value="12215" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre13" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1197063574015" />
                          <option name="revision" value="11207" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre12" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1191436781626" />
                          <option name="revision" value="10791" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre11" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1184190109800" />
                          <option name="revision" value="10009" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre10" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172940160439" />
                          <option name="revision" value="9074" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre1" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172938815897" />
                          <option name="revision" value="9072" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-3-2-2" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172934922377" />
                          <option name="revision" value="9070" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-final" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172934620160" />
                          <option name="revision" value="9069" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre7" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172934093879" />
                          <option name="revision" value="9068" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre5" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172933950791" />
                          <option name="revision" value="9067" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172930175040" />
                          <option name="revision" value="9066" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre12" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172929632216" />
                          <option name="revision" value="9065" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre9" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172929477203" />
                          <option name="revision" value="9064" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre8" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1172929096756" />
                          <option name="revision" value="9063" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre5" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1169312622101" />
                          <option name="revision" value="8692" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre9" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1163001311391" />
                          <option name="revision" value="7992" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre8" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1159851355117" />
                          <option name="revision" value="7163" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre7" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1155747706518" />
                          <option name="revision" value="6701" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre6" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1152311295000" />
                          <option name="revision" value="5556" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/after_bsh-2-0b4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1152266138000" />
                          <option name="revision" value="5554" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/before_bsh-2-0b4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1152181828000" />
                          <option name="revision" value="5542" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre5" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1152180149000" />
                          <option name="revision" value="5540" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1152122425000" />
                          <option name="revision" value="5531" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre2" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1150397246000" />
                          <option name="revision" value="5442" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit_43_with_gnuregexp_microstarxml" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1147475209000" />
                          <option name="revision" value="5388" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1136173007000" />
                          <option name="revision" value="5329" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1110595434000" />
                          <option name="revision" value="5202" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre2" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1108074918000" />
                          <option name="revision" value="5182" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/before-fast-scroll" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1104528786000" />
                          <option name="revision" value="5165" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-3-pre1" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1094326374000" />
                          <option name="revision" value="5129" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/before-selection-manager" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1094264677000" />
                          <option name="revision" value="5124" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/before-screen-line-refactoring" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1093748323000" />
                          <option name="revision" value="5111" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-final" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1090047563000" />
                          <option name="revision" value="5085" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre15" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1086297068000" />
                          <option name="revision" value="5058" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre14" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1084575691000" />
                          <option name="revision" value="5043" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre13" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1079804107000" />
                          <option name="revision" value="5002" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre11" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1079764835000" />
                          <option name="revision" value="5000" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre10" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1072501334000" />
                          <option name="revision" value="4944" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/beanshell-2-0b1" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1070236854000" />
                          <option name="revision" value="4927" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre7" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1067201848000" />
                          <option name="revision" value="4907" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre6" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1061570577000" />
                          <option name="revision" value="4867" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/crazy-pos-mgr" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1059967153000" />
                          <option name="revision" value="4844" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1058223654000" />
                          <option name="revision" value="4827" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/bsh-13b2-merge" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1057542014000" />
                          <option name="revision" value="4821" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1054263177000" />
                          <option name="revision" value="4749" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre2" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1052174343000" />
                          <option name="revision" value="4685" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/beanshell-1-3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1051837211000" />
                          <option name="revision" value="4676" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-2-pre1" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1045976885000" />
                          <option name="revision" value="4511" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/macos-2_0_4" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1045871364000" />
                          <option name="revision" value="4508" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre11" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1045820614000" />
                          <option name="revision" value="4504" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/macos-2_0_3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1045271361000" />
                          <option name="revision" value="4482" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre10" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1043802516000" />
                          <option name="revision" value="4451" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre9" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1042258598000" />
                          <option name="revision" value="4425" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre8" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1037919166000" />
                          <option name="revision" value="4380" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre6" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1029873100000" />
                          <option name="revision" value="4318" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre3" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1024812657000" />
                          <option name="revision" value="4284" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre2" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1024133719000" />
                          <option name="revision" value="4256" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-1-pre1" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1018587320000" />
                          <option name="revision" value="4140" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-final" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1017715362000" />
                          <option name="revision" value="4125" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre9" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1017050868000" />
                          <option name="revision" value="4114" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre8" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1015742549000" />
                          <option name="revision" value="4084" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre7" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1014103275000" />
                          <option name="revision" value="4052" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre6" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1012890490000" />
                          <option name="revision" value="4013" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre5" />
                        </SvnBranchItem>
                        <SvnBranchItem>
                          <option name="creationDateMillis" value="1011744082000" />
                          <option name="revision" value="3993" />
                          <option name="url" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags/jedit-4-0-pre4" />
                        </SvnBranchItem>
                      </list>
                    </value>
                  </entry>
                </map>
              </option>
              <option name="branchUrls">
                <list>
                  <option value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/branches" />
                  <option value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/tags" />
                </list>
              </option>
              <option name="trunkUrl" value="https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk" />
            </SvnBranchConfiguration>
          </value>
        </entry>
      </map>
    </option>
    <option name="myVersion" value="124" />
    <option name="mySupportsUserInfoFilter" value="true" />
  </component>
  <component name="VcsRevisionGraphProjectComponent">
    <option name="_useTwoTagConvention" value="true" />
    <option name="_showTags" value="true" />
    <option name="_tagNaming" value="TAG_$T_MERGE_$S_TO_$D" />
    <option name="_tagFilter" value="" />
    <option name="_branchFilter" />
    <option name="_showRevisionFilter" value="false" />
    <option name="_afterDateTimeFilter" value="false" />
    <option name="_beforeDateTimeFilter" value="false" />
    <option name="_afterDateTime" value="" />
    <option name="_beforeDateTime" value="" />
    <option name="_projectRoot" value="<Use repository root>" />
    <option name="_trunk" value="trunk" />
    <option name="_branches" value="branches" />
    <option name="_tags" value="tags" />
    <option name="_showTagFilter" value="false" />
    <option name="_showBranchFilter" value="false" />
  </component>
  <component name="WebServicesPlugin" addRequiredLibraries="true" />
</project>

¤ Dauer der Verarbeitung: 0.8 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.