Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified indentation;
  2. clarified indentation;
Changeset 66186:9de577f2dc3b by wenzelm:
clarified indentation;
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
Changeset 66185:aa002ed3f6d1 by wenzelm:
clarified indentation;
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)