tree 91fbf81d47195af3ac8f80931f67261e4d2d774f
parent a5fb316b5b4362aa2101adb3730144c09f3d7c86
author Gilles Peskine <Gilles.Peskine@arm.com> 1568639163 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1568821469 +0200

Add comment to help syntax highlighting in editors