[Devel] [GIT] OpenBioMaps GIT repository, branch master updated: some styling of "more options" button on text filter

[git at vocs.unideb.hu]

    The project "OpenBioMaps GIT repository":

    The branch, master has been updated
       via  c4d633b4f41e7fea77f12daf2837775c40399819 (commit)
      from  804e12990265f62851ed2a737e4c041dab23ef53 (commit)


- Log -----------------------------------------------------------------
commit c4d633b4f41e7fea77f12daf2837775c40399819
Author: Bán Miklós <banm at vocs.unideb.hu>
Date:   Wed Jul 3 19:16:06 2019 +0200

some styling of "more options" button on text filter

-----------------------------------------------------------------------

Summary of changes:
 resources/libs/modules/text_filter.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

-- 
OpenBioMaps GIT repository