Skip to main content

Browse the archive

https://github.com/wala/WALA
05 April 2024, 21:18:28 UTC
Revision e41ef905d4ca9c7e1671c18fb43c2322d723f831 authored by Ben Liblit on 31 March 2024, 17:56:14 UTC, committed by Ben Liblit on 31 March 2024, 18:39:03 UTC 
Use new API for updating collection properties
 
More details [here](better-api-for-updating-collection-properties).

(cherry picked from commit 3a2ca2e599e1cf72073ed64d5cf5839dea93bf71)
1 parent d4fa4ca
Raw File
Tip revision: e41ef905d4ca9c7e1671c18fb43c2322d723f831 authored by Ben Liblit on 31 March 2024, 17:56:14 UTC
Use new API for updating collection properties
Tip revision: e41ef90
misc.xml 
<project version="4">
  <component name="ExternalStorageConfigurationManager" enabled="true" />
  <component name="FrameworkDetectionExcludesConfiguration">
    <type id="Osmorc" />
  </component>
  <component name="JavaScriptSettings">
    <option name="languageLevel" value="ES6" />
  </component>
  <component name="ProjectRootManager" version="2" languageLevel="JDK_11" default="true" project-jdk-name="11" project-jdk-type="JavaSDK">
    <output url="file://$PROJECT_DIR$/out" />
  </component>
  <component name="TaskProjectConfiguration">
    <server type="GitHub" url="https://github.com" />
  </component>
</project>
back to top