![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | NumberFootnotesListener.php | 2024-09-06 16:48 | 2.3K | |
![]() | GatherFootnotesListener.php | 2024-09-06 16:48 | 3.5K | |
![]() | FixOrphanedFootnotesAndRefsListener.php | 2024-09-06 16:48 | 2.3K | |
![]() | AnonymousFootnotesListener.php | 2024-09-06 16:48 | 2.1K | |