Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Template matcher implemented as Filter #1110

Merged
merged 5 commits into from
Jan 12, 2017
Merged

Template matcher implemented as Filter #1110

merged 5 commits into from
Jan 12, 2017

Commits on Jan 12, 2017

  1. remove unused imports

    @pvojtechovsky
    pvojtechovsky committed Jan 12, 2017
    Configuration menu
    Copy the full SHA
    1c74d72 View commit details
    Browse the repository at this point in the history

  2. TemplateMatcher implemented as Filter

    @pvojtechovsky
    pvojtechovsky committed Jan 12, 2017
    Configuration menu
    Copy the full SHA
    5b107d8 View commit details
    Browse the repository at this point in the history

  3. explicitly use TemplateMatcher as Filter of a query

    @pvojtechovsky
    pvojtechovsky committed Jan 12, 2017
    Configuration menu
    Copy the full SHA
    47ecfdf View commit details
    Browse the repository at this point in the history

  4. documentation added

    @pvojtechovsky
    pvojtechovsky committed Jan 12, 2017
    Configuration menu
    Copy the full SHA
    f611c7f View commit details
    Browse the repository at this point in the history

  5. fix the type cast

    @pvojtechovsky
    pvojtechovsky committed Jan 12, 2017
    Configuration menu
    Copy the full SHA
    89ef107 View commit details
    Browse the repository at this point in the history