Sergio Laín ce03e43e1c 🎨 ux(fonts): changed jetbrainsmono to the new variant		2023-11-23 21:08:03 +01:00
..
bookmarks	misc change	2023-09-25 13:27:00 +02:00
settings.ini	🎨 ux(fonts): changed jetbrainsmono to the new variant	2023-11-23 21:08:03 +01:00