You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
Alexey Pyltsyn 0b7fd7b7a4
Add git hook to generate headings ids (#4043)
3 years ago
..
pre-commit Add git hook to generate headings ids (#4043) 3 years ago