src/Tools/jEdit/etc/settings
changeset 47884 21c42b095c84
parent 47235 a92d3620e156
child 49612 e6a53d203362