Ignore:
Timestamp:
Jan 18, 2020, 5:33:56 PM (2 years ago)
Author:
nicod@…
Message:

Corriger un bug de coloration_code + precode : les blocs de code ne contenant qu'une seule ligne n'étaient pas traités par precode

File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.