Home
Software Heritage
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Slides and presentation material
6442affdaee9
2022-06-24: use default font size for code
6442affdaee9
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.
Description
2022-06-24: use default font size for code
it was too small to read
Details
Provenance
vlorentz
Authored on Sep 13 2022, 11:03 AM
vlorentz
Pushed on Sep 13 2022, 11:03 AM
Parents
rMSLD4df980019f90: 2022-09-11: Fix code snippet export rendering
Branches
Unknown
Tags
Unknown
Event Timeline
vlorentz
committed
rMSLD6442affdaee9: 2022-06-24: use default font size for code
(authored by
vlorentz
).
Sep 13 2022, 11:03 AM
2022-09-13 11:03:39 (UTC+2)