diff options
| author |   Alexey Neyman <stilor@att.net> | 2017-01-24 22:52:23 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2017-01-24 22:52:23 (GMT) |
| commit | 027a75cbf0e8361160485b5869f3a554cf44977c (patch) | |
| tree | 3e0b221224d422a5f3fca2ff1204e27b6975b633 /docs/0 - Table of content.txt | |
| parent | 9061763a73c38032c1d889256f27929368381069 (diff) | |
| parent | 83d78d33d3086b41dfd5690a41150db14b054084 (diff) | |
Merge pull request #549 from stilor/backend-obsolete
Declare BACKEND obsolete.
Diffstat (limited to 'docs/0 - Table of content.txt')
| -rw-r--r-- | docs/0 - Table of content.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/0 - Table of content.txt b/docs/0 - Table of content.txt index 13e298b..27b25d9 100644 --- a/docs/0 - Table of content.txt +++ b/docs/0 - Table of content.txt @@ -21,7 +21,6 @@ _________________/ 3- Configuring a toolchain - Interesting config options - Re-building an existing toolchain - - Using as a backend for a build-system 4- Building the toolchain - Stopping and restarting a build |