Closed janetzki closed 7 years ago
e.g., with line number index for files that refreshes if file size has changed
e.g., with line number index for files that refreshes if file size has changed