| Manifest-Version: 1.0 | |
| Bundle-ManifestVersion: 2 | |
| Bundle-Name: JDT Tip of the Day Provider | |
| Bundle-SymbolicName: org.eclipse.jdt.tips.user;singleton:=true | |
| Bundle-Version: 0.2.0.qualifier | |
| Bundle-Vendor: Eclipse.org | |
| Automatic-Module-Name: org.eclipse.jdt.tips.user | |
| Bundle-RequiredExecutionEnvironment: JavaSE-11 | |
| Require-Bundle: org.eclipse.tips.core;bundle-version="0.1.0", | |
| org.eclipse.tips.json;bundle-version="0.1.0", | |
| org.eclipse.core.runtime;bundle-version="3.14.0" |