| Time |
Nick |
Message |
| 00:18 |
MTDiscord |
<greenxenith> And its not even very proprietary |
| 04:40 |
|
mark-wiemer joined #minetest-docs |
| 04:41 |
MTDiscord |
<mark.wiemer> OK, finally rebuilt my personal site in vanilla HTML, I was getting anxious about that. Only mentioning it because now I have the skills to work on the stylesheet for this, and I'll continue chipping away at the spell-check issues as well. Obv with Xmas my availability will be spotty but I'm officially done working for the year and excited about this project, so hopefully I can find the time! Not tonight though, calling it for the |
| 04:41 |
MTDiscord |
day 🙂 |
| 05:00 |
|
MTDiscord joined #minetest-docs |
| 11:08 |
MTDiscord |
<rollerozxa> merging https://github.com/minetest/dev.luanti.org/pull/98 in 5m |
| 12:31 |
MTDiscord |
<rollerozxa> merging PR 99 in 5m |
| 16:23 |
MTDiscord |
<wsor4035> i say we conditionally merge https://github.com/minetest/dev.luanti.org/pull/93, on the condition it may be changed/reverted/etc in the future. it should be easy enough to throw a :not([alt*="fullscreen:"]) on the end of the selector or something if needed. thoughts? |
| 16:25 |
MTDiscord |
<rollerozxa> I pulled the change locally and looked at some other pages with images and such and I don't think it's that bad of a change |
| 16:25 |
MTDiscord |
<rollerozxa> I'd say merge it, and if there's a page with images that it will not work well with we'll see when that page exists |
| 16:27 |
MTDiscord |
<rollerozxa> merging PR  💯 (https://github.com/minetest/dev.luanti.org/pull/100) in 5m |
| 16:28 |
MTDiscord |
<wsor4035> merging https://github.com/minetest/dev.luanti.org/pull/93 in 5 then |
| 16:31 |
MTDiscord |
<grorp> (ROllerozxa: please don't squash :) |
| 16:32 |
MTDiscord |
<rollerozxa> unfortunately all other merge options are disabled... |
| 16:32 |
MTDiscord |
<wsor4035> everything is squashed |
