diff options
| author | davidovski <david@davidovski.xyz> | 2022-01-31 23:20:34 +0000 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-01-31 23:20:34 +0000 |
| commit | cf8eef0d317a8f62ceffab488e2a770e3c8d927f (patch) | |
| tree | 64df7ae88b36c426559df81aaa9c53ecc55dcfef /repo/devel/texinfo.xibuild | |
| parent | 446bfc2044de1e7049e09d288db0e3decf44a12e (diff) | |
fixed broken linking in flex
Diffstat (limited to 'repo/devel/texinfo.xibuild')
0 files changed, 0 insertions, 0 deletions