/jEdit/tags/jedit-4-1-pre5/doc/tips/tip37.html
# · HTML · 2 lines · 2 code · 0 blank · 0 comment · 0 complexity · 7194e5aac853912eb6039114e9fe4fd8 MD5 · raw file
- <html><body>The locations of markers are saved to <tt>.<i>file
- name</i>.marks</tt>.</body></html>