[skip ci] minor update

pull/402/head
jielinxu 2019-11-19 11:49:05 +08:00 committed by GitHub
parent 8f64c44271
commit 9fb536b502
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -4,7 +4,7 @@
- Ubuntu 18.04 or higher - Ubuntu 18.04 or higher
If your Ubuntu version is lower than 18.04, we recommend you to pull a [docker image of Ubuntu 18.04](https://docs.docker.com/install/linux/docker-ce/ubuntu/) as your compilation environment. If your operating system is not Ubuntu 18.04 or higher, we recommend you to pull a [docker image of Ubuntu 18.04](https://docs.docker.com/install/linux/docker-ce/ubuntu/) as your compilation environment.
- CMake 3.12 or higher - CMake 3.12 or higher