language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-08-04 02:39:28 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Pin markdown tables extension

Browse source 
There was an api change, so pin to the previous version for now.

Prospective fix for nightly build failure.

We should probably pin all dependencies (at least semver style) - it’s a miracle this hasn’t broken earlier :)
This commit is contained in:
Simon Hausmann 2022-07-16 09:30:37 +02:00 • committed by GitHub
parent 7b6d05659f
commit 0b118577da
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
api/cpp/docs/Pipfile
View file

@ -14,7 +14,7 @@ sphinx-rtd-theme = "*"
sphinx = "*"
exhale = "*"
myst_parser = "*"
sphinx-markdown-tables = "*"
sphinx-markdown-tables = "0.0.14"
[requires]
python_version = "3"