828d707465
When redirecting from old-topic.html#some-id to new-topic.html, the ID is ignored. Not sure if it is possible to keep the ID in the meta redirect, but at least in the JavaScript version we should keep it and redirect from old-topic.html#some-id to new-topic.html#some-id. Signed-off-by: Ruth Fuchss <ruth.fuchss@nordicsemi.no> |
||
|---|---|---|
| .. | ||
| lexer | ||
| only | ||
| zephyr | ||
| local_util.py | ||