diff CONTRIBUTORS @ 7071:057ef81c18e9

less: clean up search style - there is no .search_path or .search - highlight search .match - highlight search .break
author domruf <dominikruf@gmail.com>
date Sun, 29 Oct 2017 22:09:54 +0100
parents a48802bf7134
children 710b2eb8cc37
line wrap: on
line diff