Revision bc7f81f1
ref #8543 removing unused footnote related theme functions
Files
- added
- modified
- copied
- renamed
- deleted
ID | bc7f81f1a57354979c2d4908f1565ea2a2a32ff5 |
Parent | 8e677507 |
Child | 963f9de3 |
Added by Andreas Kohlbecker 6 months ago
ref #8543 removing unused footnote related theme functions