Skip to content

Set up a diff attribute and textconv instructions for font files#635

Merged
k4b7 merged 1 commit intoKaTeX:masterfrom
gagern:fontDiff
Jan 23, 2017
Merged

Set up a diff attribute and textconv instructions for font files#635
k4b7 merged 1 commit intoKaTeX:masterfrom
gagern:fontDiff

Conversation

@gagern
Copy link
Collaborator

@gagern gagern commented Jan 19, 2017

This may help us generate human-readable diffs of font files.

Motivated by #632 (comment).

This may help us generate human-readable diffs of font files.
@gagern gagern mentioned this pull request Jan 19, 2017
@k4b7 k4b7 self-assigned this Jan 22, 2017
@k4b7
Copy link
Member

k4b7 commented Jan 23, 2017

I gave this a try. It works like a charm. It's too bad that github doesn't have a way to run custom diff hooks.

@k4b7 k4b7 merged commit 3fea3df into KaTeX:master Jan 23, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants