rename search engine to search tool.
commite0de73798ceb9e105c743aa2310f43128d520d4e
authorstardiviner <numbchild@gmail.com>
Tue, 13 Dec 2016 12:13:02 +0000 (13 20:13 +0800)
committerstardiviner <numbchild@gmail.com>
Tue, 13 Dec 2016 12:13:02 +0000 (13 20:13 +0800)
tree7801da874ecada66ca5e33258af88fb74dd03d28
parent625f66859232326f9daf518f3c97025c0b6ee3b3
rename search engine to search tool.
org-searching.el