src/Tools/jEdit/manifest.mf
changeset 34480 017fae24829f
parent 34320 883dc8fc3328