diff options
author | Björn Linse <bjorn.linse@gmail.com> | 2018-11-25 10:52:05 +0100 |
---|---|---|
committer | Björn Linse <bjorn.linse@gmail.com> | 2018-11-25 11:06:55 +0100 |
commit | d18511f322a5b92c9ad8d075eeb7345b5b0cbd24 (patch) | |
tree | aaf96bebcf76f241782ed690e59a4e10875398d3 /.github | |
parent | 2ab64514d02576b929ce3e7123fc45b6a148891a (diff) | |
download | ale-d18511f322a5b92c9ad8d075eeb7345b5b0cbd24.zip |
Don't hardcode the namespace id for virtual text
This makes collisions with other plugins less likely.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions