diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2013-10-12 18:07:59 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2013-10-12 18:07:59 +0200 |
| commit | 16ec3e37ba61fe0c3d045ed3922f46257b392517 (patch) | |
| tree | b0d60b1d427041b31d4f38df2af0675df9c7df56 /lib/exe | |
| parent | 15d0d84fe732a3d9a17182739013c4ac31831e80 (diff) | |
| download | rpg-16ec3e37ba61fe0c3d045ed3922f46257b392517.tar.gz rpg-16ec3e37ba61fe0c3d045ed3922f46257b392517.tar.bz2 | |
make sure footnote numbers are unique across documents FS#2841
Diffstat (limited to 'lib/exe')
0 files changed, 0 insertions, 0 deletions