mirror of
https://github.com/sourcebot-dev/sourcebot.git
synced 2025-12-11 20:05:25 +00:00
* add discord button to nav menu * add version to settings drop down * nit: prepend version text with "version" * revert settings json change |
||
|---|---|---|
| .. | ||
| backend | ||
| web | ||