![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | NumberFootnotesListener.php | 2023-03-19 23:19 | 2.4K | |
![]() | GatherFootnotesListener.php | 2023-03-19 23:19 | 3.6K | |
![]() | FixOrphanedFootnotesAndRefsListener.php | 2023-03-19 23:19 | 2.4K | |
![]() | AnonymousFootnotesListener.php | 2023-03-19 23:19 | 2.1K | |