Add documentation describing how definitions are stored
authorJonas Hvid <mail@johv.dk>
Thu, 14 Nov 2019 17:24:35 +0000 (18:24 +0100)
committerJonas Hvid <mail@johv.dk>
Thu, 14 Nov 2019 17:24:35 +0000 (18:24 +0100)
commita37830428f0b711f4ed8da94b9b7361fc35c2fcd
treed45b152fa06476f5b75f7a2cbc0acff227be4956
parentd6efaa23e200d7a061715f8a036221a03d9d8055
Add documentation describing how definitions are stored
notes