|
4a64fee2
|
2024-01-11T13:12:55
|
|
Bump copyright years.
|
|
e25ea3d1
|
2024-01-11T03:34:24
|
|
Update list of named entities.
|
|
1f78c867
|
2019-08-09T10:29:55
|
|
Rename HTML renderer public identifier names.
This is to reflect we make it a public API.
|
|
7f2d880f
|
2019-08-09T09:50:24
|
|
Refactor dir structure.
We place all the sources in the single directory in order to not having
many dirs with too few sources.
|