diff options
| author | Alexander Kriegisch <Alexander@Kriegisch.name> | 2022-04-02 08:22:42 +0700 |
|---|---|---|
| committer | Alexander Kriegisch <Alexander@Kriegisch.name> | 2022-04-02 08:24:04 +0700 |
| commit | 651e92a3285606537cfa47913adc17ce90bc22c8 (patch) | |
| tree | e0fb94bf0758d5f2f09437aee383713220b57232 /build/build-properties.xml | |
| parent | cefa5d6bfcb92ea66e6fccd68fa922dba914a420 (diff) | |
| download | aspectj-651e92a3285606537cfa47913adc17ce90bc22c8.tar.gz aspectj-651e92a3285606537cfa47913adc17ce90bc22c8.zip | |
Remove AspectJ Browser (ajbrowser) code and documentation
Closes #148.
TODO: Should more AJDE stuff be removed?
Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>
Diffstat (limited to 'build/build-properties.xml')
| -rw-r--r-- | build/build-properties.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build-properties.xml b/build/build-properties.xml index c735b855b..febfddfec 100644 --- a/build/build-properties.xml +++ b/build/build-properties.xml @@ -109,7 +109,7 @@ <property file="${aspectj.modules.build.dir}/junit-patterns.properties"/> <property name="aspectj.tools.modules.13" - value="ajbrowser,ajde,ajde.core,ajdoc,asm,bridge,loadtime,org.aspectj.ajdt.core,runtime,taskdefs,util,weaver"/> + value="ajde,ajde.core,ajdoc,asm,bridge,loadtime,org.aspectj.ajdt.core,runtime,taskdefs,util,weaver"/> <property name="aspectj.tools.modules.15" value="loadtime5,aspectj5rt,weaver5"/> <condition property="aspectj.tools.modules" |