diff options
| author | Alexander Biehl <alexbiehl@gmail.com> | 2017-08-19 20:35:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-19 20:35:27 +0200 |
| commit | 740458ac4d2acf197f2ef8dc94a66f9b160b9c3c (patch) | |
| tree | 292d147cedefc0a4153e02a9377d2a36cc845b07 /doc/.gitignore | |
| parent | f7032e5e48c7a6635e1dca607a37a16c8893e94b (diff) | |
Hyperlinker: Avoid linear lookup in enrichToken (#669)
* Make Span strict in Position
* Hyperlinker: Use a proper map to enrich tokens
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions