User Tools

Site Tools


05_developer_tutorials:01_setup:01_setup-groimp-dev-environment

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
05_developer_tutorials:01_setup:01_setup-groimp-dev-environment [2025/01/29 08:35] – ↷ Page name changed from 05_developer_tutorials:01_setup:setup-groimp-dev-environment to 05_developer_tutorials:01_setup:01_setup-groimp-dev-environment tim205_developer_tutorials:01_setup:01_setup-groimp-dev-environment [2025/02/19 15:51] (current) – ↷ Links adapted because of a move operation gaetan
Line 7: Line 7:
  
 You can find more in depth info on : You can find more in depth info on :
-  * [[04_developer_documentation:dev-guide:getting-started|Download the source code]] +  * [[05_developer_tutorials:01_setup:getting-started|Download the source code]] 
-  * [[04_developer_documentation:dev-guide:developer-guide|Set up Eclipse]]+  * [[05_developer_tutorials:01_setup:developer-guide|Set up Eclipse]]
   * [[https://docs.gitlab.com/ee/user/packages/maven_repository/|Set up a Maven token]]   * [[https://docs.gitlab.com/ee/user/packages/maven_repository/|Set up a Maven token]]
-  * [[04_developer_documentation:dev-guide:maven-commands|Additional commands with maven]]+  * [[05_developer_tutorials:dev-guide:maven-commands|Additional commands with maven]]
  
 ===== Installation of required tools ===== ===== Installation of required tools =====
05_developer_tutorials/01_setup/01_setup-groimp-dev-environment.1738136128.txt.gz · Last modified: 2025/01/29 08:35 by tim2