commit | 8b69c1bde3ef62e26126b4bbe9c173dad9d51e8c | [log] [tgz] |
---|---|---|
author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Wed Mar 18 15:36:16 2020 +0000 |
committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Wed Mar 18 15:36:16 2020 +0000 |
tree | 134d24d50a0bac41b4af743b63cecd6d3b8c0dfc | |
parent | 2612ac709cd5882f376b5fea1e8d13240b142d1c [diff] |
Reduced font weight of literals to normal