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

3 Commits

Author SHA1 Message Date
Achim D. Brucker 1986d0bcbd Merge branch 'main' into idir-remarks
ci/woodpecker/push/build Pipeline failed Details
ci/woodpecker/pr/build Pipeline failed Details
2023-05-15 06:34:34 +00:00
Idir Ait-Sadoune 9cc03c0816 Idir remarks for the intrduction of the manual.
ci/woodpecker/push/build Pipeline failed Details
ci/woodpecker/pr/build Pipeline failed Details
2023-05-11 13:18:12 +02:00
Idir Ait-Sadoune e9cfcdbcbc Idir remarks for the abstract of the manual.
ci/woodpecker/push/build Pipeline failed Details
2023-05-11 12:48:49 +02:00