summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/flagderiv.tlpsrc
blob: 78b60a88b30610e8d4b1a59e07c1d3b861fdd580 (plain)
1
name flagderiv