changelog: Update through HEAD.
This commit is contained in:
parent
39977391de
commit
e0d1bc5c86
|
|
@ -57,6 +57,9 @@
|
||||||
- Highlight global aliases
|
- Highlight global aliases
|
||||||
[#700]
|
[#700]
|
||||||
|
|
||||||
|
- Fix highlighting of `\local`, `\typeset`, etc (escaped)
|
||||||
|
[#701]
|
||||||
|
|
||||||
# Changes in version 0.7.1
|
# Changes in version 0.7.1
|
||||||
|
|
||||||
- Remove out-of-date information from the 0.7.0 changelog.
|
- Remove out-of-date information from the 0.7.0 changelog.
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue