[Devel] [GIT] OpenBioMaps GIT repository, branch master updated: small fixes

[git at vocs.unideb.hu]

    The project "OpenBioMaps GIT repository":

    The branch, master has been updated
       via  12e5d10f488229f775586354addbe3f2fd2c0d5d (commit)
      from  069a5176697be326329605df641cffbbd9029e68 (commit)


- Log -----------------------------------------------------------------
commit 12e5d10f488229f775586354addbe3f2fd2c0d5d
Author: Bóné Gábor <gabor.bone at milvus.ro>
Date:   Tue Sep 17 14:49:26 2019 +0300

small fixes

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

Summary of changes:
 resources/libs/modules/results_asStable.php | 4 ++--
 resources/libs/modules/text_filter2.php     | 3 +--
 resources/libs/query_builder.php            | 2 ++
 3 files changed, 5 insertions(+), 4 deletions(-)

-- 
OpenBioMaps GIT repository