Add Docker to tables of contents

This commit is contained in:
Martin Pizala 2018-05-18 21:11:15 +02:00 committed by GitHub
parent 4672604cc0
commit b7e4a95519
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -28,6 +28,7 @@ The project name _dave_ is an abbreviation for: **D**istributed **A**uthoring an
- [Installation](#installation)
* [Binary-Installation](#binary-installation)
* [Build from sources](#build-from-sources)
* [Build and run with Docker](#build-and-run-with-docker)
- [Connecting](#connecting)
- [Contributing](#contributing)
- [License](#license)