updated main menu (85f19195) · Commits · Eclipse Projects / Eclipse CHESS / chess · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

chess
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Releases
- Model registry
- Incidents

Snippets Groups Projects

85f19195

Commit 85f19195 authored 5 years ago by Nicholas Pacini

Downloads
- Patches
- Plain Diff

updated main menu

parent 83697706

No related branches found

No related tags found

Loading

Changes 3

Hide whitespace changes

Inline Side-by-side

Showing

plugins/org.polarsys.chess.cdo/plugin.xml 18 additions, 19 deletions

plugins/org.polarsys.chess.cdo/plugin.xml
plugins/org.polarsys.chess.codegen.ada/plugin.xml 29 additions, 34 deletions

plugins/org.polarsys.chess.codegen.ada/plugin.xml
plugins/org.polarsys.chess.mainmenu/plugin.xml 94 additions, 82 deletions

plugins/org.polarsys.chess.mainmenu/plugin.xml

with 141 additions and 135 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

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent