commit | f8eec05cc4fbd091432ecd9620197dea050e059d | [log] [tgz] |
---|---|---|
author | Nicola Ferraro <ni.ferraro@gmail.com> | Fri Feb 14 08:47:21 2020 +0100 |
committer | Nicola Ferraro <ni.ferraro@gmail.com> | Fri Feb 21 10:18:42 2020 +0100 |
tree | a2e58918edf8f80759af1b4d3b322074100d99d2 | |
parent | b205785f1c99775b1ae2986736acbb657f4b52c1 [diff] |
Fix #1234: generate documentation