Sören Weber b896794c80 highlight: remove additional newlines from code if copied from cursor selection #925		2024-10-11 16:16:28 +02:00
..
css	include: don't erroneously remove headings if hidefirstheading=true #914	2024-09-12 14:58:56 +02:00
fonts	theme: remove font Novacento #83	2021-11-03 19:52:55 +01:00
js	highlight: remove additional newlines from code if copied from cursor selection #925	2024-10-11 16:16:28 +02:00
webfonts	icon: update Font Awesome to 6.6.0 #881	2024-08-02 11:19:51 +02:00