autour_de_minuit/rig_picker
10
0
Fork 2
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update of the documentation of the README #3

Merged
jonas.holzman merged 1 commits from manon.grabette/rig_picker:documentation into master 2025-07-22 11:07:45 +02:00
Conversation 1 Commits 1 Files Changed 20 +192 -6
manon.grabette commented 2025-07-21 17:05:08 +02:00
Contributor
Copy Link

Modications

  • Installation's modification
  • New "Create a picker from scratch" part
  • New "How to use an existing picker" part
  • New "Precisions"

To see formatting :

https://git.autourdeminuit.com/manon.grabette/rig_picker/src/branch/documentation

## Modications - Installation's modification - New "Create a picker from scratch" part - New "How to use an existing picker" part - New "Precisions" To see formatting : https://git.autourdeminuit.com/manon.grabette/rig_picker/src/branch/documentation
manon.grabette added 1 commit 2025-07-21 17:05:12 +02:00
manon.grabette requested review from jonas.holzman 2025-07-21 17:10:30 +02:00
jonas.holzman approved these changes 2025-07-22 11:07:32 +02:00
jonas.holzman left a comment
Owner
Copy Link

LGTM! Merci beaucoup Manon! :)

LGTM! Merci beaucoup Manon! :)
jonas.holzman merged commit 9d09823321 into master 2025-07-22 11:07:45 +02:00
Sign in to join this conversation.
Reviewers
No Reviewers
jonas.holzman
Labels
Clear labels
done
Sujet résolu
hold
Sujet en pause
rejected
Sujet refusé ou abandonné
rtk
Sujet en retake
todo
Sujet a faire
wfa
Sujet en attente de validation
wip
Sujet actuellement pris en charge par un TD
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
admindns christophe.seux clement.ducarteron florentin.luce jonas.holzman joseph.henry mario.hawat samuel.bernou
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: autour_de_minuit/rig_picker#3
No description provided.
Delete Branch "manon.grabette/rig_picker:documentation"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?