Skip to content

Commit b72e192

Browse files
committed
follow up to Per's changes, also time not to \hl{} unless really needed ;-)
1 parent 60c9ee7 commit b72e192

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,4 @@
55
/*.svg
66
/data
77
/figs
8+
/*-snippet-*

0 commit comments

Comments
 (0)