diff options
| author | Pino Toscano <pino@debian.org> | 2013-09-23 19:13:12 +0200 |
|---|---|---|
| committer | Pino Toscano <pino@debian.org> | 2013-09-23 19:13:12 +0200 |
| commit | 9d14d3b46ab269e9052544cc0b0414cc0e9c5cdc (patch) | |
| tree | 0e34aa186062f5713dd288d6cee093f67d8608f9 /libddekit/util.h | |
| parent | 9ade304ea5d253810490a220cacfa165384c5d73 (diff) | |
remove duplicated texinfo B-D
Diffstat (limited to 'libddekit/util.h')
0 files changed, 0 insertions, 0 deletions