dev #1
chizeta
commented 2023-12-30 00:36:47 +01:00
Owner
No description provided.
chizeta
added 5 commits 2023-12-30 00:36:47 +01:00
remove .gitlab-ci.yml
5a75c7964f
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
more doc
e8db02a6ec
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
doxy: use readme as main page
7376905928
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
readme: include logo
30a6acf903
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
link logo in html docu
671eedf9fe
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
Details
ci/woodpecker/pr/woodpecker Pipeline was successful
Details
ci/woodpecker/pull_request_closed/woodpecker Pipeline was successful
Details
chizeta
merged commit f6af00d162 into main 2023-12-30 00:37:24 +01:00
chizeta
referenced this pull request from a commit 2023-12-30 00:37:26 +01:00
Merge pull request 'dev' (#1) from dev into main
Loading…
Reference in a new issue
No description provided.
Delete branch "dev"
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?