src/Tools/jEdit/patches/putenv
2 months ago ago formal update of patches -- no change of content;
6 months ago ago proper environment for variable folding;
6 months ago ago updated to jedit_build-20181025 according to patches/macos (Java 11), patches/putenv;