Mikhail Alferov 04d9aded7b Add class="extension" attribute to <filename> tags which refer to file extensions (#3870)

2024-10-15 13:10:10 +01:00

..

intro.xml

Stop chunking the Introduction, add titleabbrev+title, write-through to remove 'you' (#3786)

2024-09-25 17:13:30 -07:00

tutorial.xml

Add class="extension" attribute to <filename> tags which refer to file extensions (#3870)

2024-10-15 13:10:10 +01:00