Skip to content

Fork de mica_omero "upgrade_to_Java_plugin"#4

Open
brau-frederic wants to merge 163 commits into
brau-frederic:upgrade_to_Java_pluginfrom
GReD-Clermont:main
Open

Fork de mica_omero "upgrade_to_Java_plugin"#4
brau-frederic wants to merge 163 commits into
brau-frederic:upgrade_to_Java_pluginfrom
GReD-Clermont:main

Conversation

@brau-frederic
Copy link
Copy Markdown
Owner

Salut Pierre, je ne sais pas si ce que j'ai fait est correct... J'ai crée une branche "upgrade_to_Java_plugin" dans le projet "mica_omero" et ensuite il me propose un merge...

ppouchin and others added 30 commits September 15, 2021 15:09
…s pour orienter vers l'utilisation de la bibliothèque.

Le plugin n'est néanmoins pas fonctionnel.
# Conflicts:
#	src/main/java/mica/BatchData.java
#	src/main/java/mica/gui/BatchWindow.java
#	src/main/java/mica/process/BatchRunner.java
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants