hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 08:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #427 from adityasharad/eclipse/remove-plugin-metadata

Browse Source 
Eclipse plugins: Remove plugin metadata.
This commit is contained in:
Max Schaefer
2018-11-13 13:12:49 +00:00
committed by GitHub
parent 17414f0395 194042348a
commit 96989a1fd6
9 changed files with 0 additions and 108 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
java/ql/src/META-INF/MANIFEST.MF
View File

@@ -1,9 +0,0 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Semmle Default Java Queries
Bundle-SymbolicName: com.semmle.plugin.semmlecode.queries;singleton:=true
Bundle-Version: 1.19.0.qualifier
Bundle-Vendor: Semmle Ltd.
Bundle-ActivationPolicy: lazy
Require-Bundle: com.semmle.plugin.qdt.ui;bundle-version="[1.19.0.qualifier,1.19.0.qualifier]"

16
java/ql/src/plugin.xml
View File

@@ -1,16 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.2"?>
<plugin>
<extension point="com.semmle.plugin.qdt.ui.resources">
<name value="semmlecode-queries"/>
</extension>
<extension point="com.semmle.plugin.qdt.ui.resources">
<name value="com.semmle.code.java.library"/>
</extension>
<extension point="com.semmle.plugin.qdt.ui.resources">
<name value="com.semmle.code.java.dbscheme"/>
<path value="/config/semmlecode.dbscheme"/>
</extension>
</plugin>