diff options
| author | Andrew Moss <1043609+amoss@users.noreply.github.com> | 2019-12-16 15:12:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-16 15:12:00 +0100 |
| commit | c8c72f18a6a8fd09d3b6284e49525396b24e8395 (patch) | |
| tree | 5b9aeaea7d72e1d1029d45f67c0a5f130ecc2f80 /BUILD.md | |
| parent | c4bb3d2642ab34e6aca912b22e55aed52f84e974 (diff) | |
Labels issues (#7515)
Initial work on host labels from the dedicated branch. Includes work for issues #7096, #7400, #7411, #7369, #7410, #7458, #7459, #7412 and #7408 by @vlvkobal, @thiagoftsm, @cakrit and @amoss.
Diffstat (limited to 'BUILD.md')
| -rw-r--r-- | BUILD.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ + # The build system We are currently migrating from `autotools` to `CMake` as a build-system. This document |