| Time |
Nick |
Message |
| 04:00 |
|
MTDiscord joined #luanti-docs |
| 08:46 |
|
Warr1024 joined #luanti-docs |
| 23:02 |
MTDiscord |
<wsor4035> we might eventually need to do this, but dont see a need to currently at this time, as just small changes being made in css |
| 23:34 |
MTDiscord |
<mark.wiemer> I don't think there will ever be a need, we have all the source locally anyway, so it's basically "in-house" from my POV. But it'd be nice to just have a theme instead of having a theme + customizations |
