Snippets Groups Projects

Commit 8169ce21 authored 6 years ago by Dennis Gläser

[doc][handbook] do not mention debug opts

debug.opts and optim.opts do not exist anymore. This commit adapts the
respective section in the handbook.

parent 6e048eab

No related branches found

No related tags found

Hide whitespace changes

Inline Side-by-side

Showing with 14 additions and 25 deletions

Timo Koch @timok
mentioned in commit b814972c
· 6 years ago

mentioned in commit b814972c

mentioned in commit b814972c64e54c410c8e43f6d515a1859fb923f9

Toggle commit list
Timo Koch @timok
mentioned in merge request !1440 (merged)
· 6 years ago

mentioned in merge request !1440 (merged)

mentioned in merge request !1440

Toggle commit list

Please register or to comment