018b4e0dc9
After migration to Codeberg, GitHub's CI definitions aren't needed any more. The project will be migrated to Codeberg CI when it exits private beta. Also delete banner image file, since it wasn't being used anywhere. |
||
---|---|---|
.. | ||
demo@2x.png | ||
logo.svg |