|
doc
|
Merge branch 'master' into moveref
|
2015-04-25 06:52:53 +10:00 |
|
filter
|
fix -Wnewline-eof warnings
|
2015-03-11 10:54:45 -04:00 |
|
settings
|
added search-related user settings
|
2015-03-30 22:30:33 +02:00 |
|
tools
|
Merge branch 'replace'
|
2015-04-16 20:11:25 +02:00 |
|
world
|
Resolve merge issues and fix typos.
|
2015-04-25 09:39:37 +10:00 |
