Symbol: delete_range
src/libs/stdc++/legacy/editbuf.cc
519
void edit_buffer::delete_range (buf_index from, buf_index to)
src/libs/stdc++/legacy/editbuf.cc
541
void edit_buffer::delete_range(struct edit_mark *start, struct edit_mark *end)