Dirk Hohndel 2fe1750bf8 Mobile/filter: add marker between entries in full text search
Otherwise we could match the end of one string and the beginning of the next,
so having a buddy name Linus and a dive master named Alvin would be matched
by USA.

Also add Notes to the full text search (I had forgotten those earlier).

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2018-10-23 22:45:29 +01:00
..
2018-10-06 19:47:06 -07:00
2018-07-18 02:09:15 +03:00
2018-10-23 08:06:17 +01:00
2018-10-23 08:06:17 +01:00
2018-10-21 19:55:09 +03:00
2018-01-31 14:47:26 +01:00
2017-04-29 13:32:55 -07:00
2018-08-23 05:16:38 -07:00
2018-10-21 19:55:09 +03:00
2018-10-21 19:55:09 +03:00
2018-10-21 19:55:09 +03:00
2018-10-21 19:55:09 +03:00
2018-10-21 19:55:09 +03:00
2018-10-21 19:55:09 +03:00
2018-10-23 08:06:17 +01:00
2018-10-23 08:06:17 +01:00
2018-08-23 05:16:38 -07:00
2018-10-21 19:55:09 +03:00
2018-10-21 19:55:09 +03:00
2018-10-21 19:55:09 +03:00
2018-10-21 19:55:09 +03:00
2017-04-29 13:32:55 -07:00
2018-10-21 19:55:09 +03:00
2018-05-30 21:47:07 -07:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2018-10-21 19:55:09 +03:00
2017-04-29 13:32:55 -07:00
2018-10-21 19:55:09 +03:00