summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/petri-nets.tlpsrc
blob: eda013862f427b944f44a4cbf77adfe3d9c0235d (plain)
1
binpattern f bin/${ARCH}/pn2pdf