6 Sep
2024
6 Sep
'24
9:24 a.m.
On Sep 6, 2024, at 9:22 AM, nabble@felix.world wrote:
Ok, since it’s the actually current documentation, I would create a PR or will it not get accepted?
What we've done wth other dictionaries is create a duplicate of the current one, and then make changes to the duplicate. That way the dictionary is in the server, and people can edit the various $INCLUDE lines to use the one which they need. There are examples of this already in share/dictionary. Alan DeKok.