diff options
| author | Kieran Cawthray <kieranc@gmail.com> | 2022-09-05 22:03:56 +0200 |
|---|---|---|
| committer | Kieran Cawthray <kieranc@gmail.com> | 2022-09-05 22:03:56 +0200 |
| commit | 293340515812b15030b6497a3eed1b1b8fceadae (patch) | |
| tree | a46c96953676a756723477a363a5eedafbbd3dd1 /docker | |
| parent | 593ca2028d77c013fa4026a7183b7f66f2cca5ba (diff) | |
| parent | f53e75063b6ef618d65a1f287df52ba01c3351f5 (diff) | |
Merge remote-tracking branch 'upstream/develop' into pts-options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/README.md b/docker/README.md index 71ad258a..5b897b2b 100644 --- a/docker/README.md +++ b/docker/README.md @@ -1,2 +1,2 @@ Docker images and build script for building the project using Docker. -See [this page for more info](../doc/buildWithDocker.md).
\ No newline at end of file +See [this page for more info](../doc/buildWithDocker.md). |