https://github.com/wala/WALA
Tip revision: ed5093d6dbfc18284eb172fc29932f9694bd9a12 authored by Manu Sridharan on 09 October 2015, 18:06:03 UTC
Properly update version to 1.3.8
Properly update version to 1.3.8
Tip revision: ed5093d
feature.xml
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="com.ibm.wala.ide-feature"
label="%featureName"
version="1.3.8"
provider-name="%providerName">
<plugin
id="com.ibm.wala.ide"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
</feature>