Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

idir-remarks #30

Merged
adbrucker merged 3 commits from idir-remarks into main 2023-05-15 06:34:50 +00:00
Conversation 0 Commits 3 Files Changed 2 +14 -14
adbrucker commented 2023-05-15 06:34:14 +00:00
Owner
Copy Link
No description provided.
adbrucker added 2 commits 2023-05-15 06:34:15 +00:00
ci/woodpecker/push/build Pipeline failed Details
ci/woodpecker/pr/build Pipeline failed Details
9cc03c0816 Idir remarks for the intrduction of the manual.
adbrucker added 1 commit 2023-05-15 06:34:36 +00:00
ci/woodpecker/push/build Pipeline failed Details
ci/woodpecker/pr/build Pipeline failed Details
1986d0bcbd Merge branch 'main' into idir-remarks
adbrucker merged commit fb69f05ac0 into main 2023-05-15 06:34:50 +00:00
adbrucker deleted branch idir-remarks 2023-05-15 06:34:54 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: Isabelle_DOF/Isabelle_DOF#30
No description provided.
Delete Branch "idir-remarks"

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?