Changes

Summary

prefer strict operation (despite 8edca3465758): there might be errors from all_known = true (ae09b9f5980b);

Changeset 65554:a04afc400156 by wenzelm: prefer strict operation (despite 8edca3465758): there might be errors from all_known = true (ae09b9f5980b);
The file was modified	`src/Tools/jEdit/src/plugin.scala` (diff)