Rename remove_clipboard_marks to remove_marks

This commit is contained in:
chrys87 2016-08-23 17:48:55 +02:00 committed by GitHub
parent 53d7318ea9
commit 0392f64a45