|
dist
|
Set the `title` tag in the HTML5 export immediately
|
2020-04-22 11:31:14 +02:00 |
|
hooks
|
Git Hooks: Suppress "which" error messages.
|
2020-04-24 20:11:53 +03:00 |
|
scripts
|
Style: Add black format to fix_style.sh
|
2020-03-31 09:55:13 +02:00 |
|
travis
|
Android: Bump build tools to 29.0.3
|
2020-04-14 13:47:13 +02:00 |
