diff options
| author | adamjanovsky | 2022-05-13 22:10:30 +0200 |
|---|---|---|
| committer | GitHub | 2022-05-13 22:10:30 +0200 |
| commit | 279d732e16347ffc08506330cb269887f86d8e61 (patch) | |
| tree | 5745ca78e6503ec1b90b1a478dc732cb9890018c /docs/api | |
| parent | e2900d087ec8e0b83939c3ba9ed93de74b7126d8 (diff) | |
| parent | 85ea115465260607989ad90b50988e5d70b1de22 (diff) | |
| download | sec-certs-279d732e16347ffc08506330cb269887f86d8e61.tar.gz sec-certs-279d732e16347ffc08506330cb269887f86d8e61.tar.zst sec-certs-279d732e16347ffc08506330cb269887f86d8e61.zip | |
Merge pull request #209 from crocs-muni/issue/208-Add-user-warnings-in-case-of-missing-dependencies
warn user on missing poppler, graphviz
Diffstat (limited to 'docs/api')
0 files changed, 0 insertions, 0 deletions