| Commit | Date | |
|---|---|---|
| 2019-10-12 16:37:42 | Tree | |
| 2019-10-12 15:12:18 | Tree | |
| 2019-10-12 13:56:26 | Tree | |
| 2019-10-12 12:42:29 | Tree | |
| 2019-10-12 12:40:33 | Tree | |
|
[r1256]
by
sokirko
1. introduce --tab-single-file for ddd_dump to print ddc-index without numbers; 2. copy bibliographical information from the previous document if info is absent |
2019-10-12 12:38:04 | Tree |
| 2019-10-12 12:31:33 | Tree | |
| 2019-10-12 12:24:32 | Tree | |
| 2019-10-11 12:22:16 | Tree | |
| 2019-10-10 17:39:18 | Tree |