package info
(click to toggle)
Folder: patches
| .. (parent) | ||||
| - | rw-r--r-- | 714 | 0001-Ignore-in-font-maps.patch | |
| - | rw-r--r-- | 3,462 | 0002-Upgrade-to-ppxlib.patch | |
| - | rw-r--r-- | 843 | 0003-Input-mp-tool.mpiv-instead-of-metafun.mp-in-generate.patch | |
| - | rw-r--r-- | 124 | series |
