Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Camille
- Activity
- Members
- Labels
- Model registry

Snippets Groups Projects

Admin message

Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).

115abde8

Commit 115abde8 authored 1 year ago by dgelessus

Downloads
- Patches
- Plain Diff

Fix feature branding not showing in about window and make it consistent

parent 74e7ab35

Branches

No related tags found

Loading

Changes 8

Show whitespace changes

Inline Side-by-side

Showing

org.eventb.texteditor.feature/feature.xml 2 additions, 2 deletions

org.eventb.texteditor.feature/feature.xml
org.eventb.texteditor.parsers/META-INF/MANIFEST.MF 1 addition, 1 deletion

org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
org.eventb.texteditor.ui/META-INF/MANIFEST.MF 2 additions, 2 deletions

org.eventb.texteditor.ui/META-INF/MANIFEST.MF
org.eventb.texteditor.ui/about.ini 2 additions, 1 deletion

org.eventb.texteditor.ui/about.ini
org.eventb.texteditor.ui/build.properties 1 addition, 0 deletions

org.eventb.texteditor.ui/build.properties
org.eventb.texteditor.ui/plugin.properties 2 additions, 2 deletions

org.eventb.texteditor.ui/plugin.properties
org.eventb.texteditor.ui/plugin.xml 1 addition, 1 deletion

org.eventb.texteditor.ui/plugin.xml
org.eventb.texttools/META-INF/MANIFEST.MF 1 addition, 1 deletion

org.eventb.texttools/META-INF/MANIFEST.MF

with 12 additions and 10 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment