Merge branch 'master' into single-file

This commit is contained in:
Fufu Fang 2021-08-29 11:24:18 +01:00
commit de516f23ff
No known key found for this signature in database
GPG Key ID: 0F6BB5EF6F8BB729
1 changed files with 1 additions and 0 deletions

1
.gitignore vendored
View File

@ -11,3 +11,4 @@ doc
# Editor related
*.kate-swp
.vscode