Merge remote-tracking branch 'origin/main'

This commit is contained in:
Hosted Weblate 2021-11-05 05:07:54 +01:00
commit 93f6071e64
No known key found for this signature in database
GPG Key ID: A3FAAA06E6569B4C

View File

@ -8,6 +8,11 @@
version: 2
build:
os: ubuntu-20.04
tools:
python: "3.9"
submodules:
include:
- extmod/ulab
@ -16,6 +21,5 @@ formats:
- pdf
python:
version: 3
install:
- requirements: docs/requirements.txt