diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/installation.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/installation.md b/docs/installation.md index 236a9dc9..8d71a170 100644 --- a/docs/installation.md +++ b/docs/installation.md @@ -22,7 +22,7 @@ source venv/bin/activate pip install -e . ``` -Alternatively, our Our [Dockerfile](https://github.com/crocs-muni/sec-certs/blob/main/docker/Dockerfile) represents a reproducible way of setting up the environment. +Alternatively, our Our [Dockerfile](https://github.com/crocs-muni/sec-certs/blob/main/Dockerfile) represents a reproducible way of setting up the environment. ## Dependencies |