Morph MORPH
SIGN IN SIGN UP
github / gitignore UNCLAIMED

A collection of useful .gitignore templates

0 0 1 Ignore List

Merge pull request #4320 from laschuet/patch-1

Support option abbreviations of glossaries-extra
D
Daniel Johnson committed
b1f858fdfd024dcc64276a19c8a48644f7d5be0b
Parents: 8117159 , 43dd159
Committed by GitHub <noreply@github.com> on 6/13/2025, 9:49:08 PM