asymmetric b44554c803 ignore/types: add K type ...

Adds support for files used by the K executable semantic framework:
http://www.kframework.org/index.php/Main_Page

PR #1493

2020-02-19 07:07:09 -05:00

..

cli

repo: move all source code in crates directory

2020-02-17 19:24:53 -05:00

core

repo: make ripgrep build with the new organization

2020-02-17 19:24:53 -05:00

globset

repo: move all source code in crates directory

2020-02-17 19:24:53 -05:00

grep

repo: make ripgrep build with the new organization

2020-02-17 19:24:53 -05:00

ignore

ignore/types: add K type

2020-02-19 07:07:09 -05:00

matcher

repo: move all source code in crates directory

2020-02-17 19:24:53 -05:00

pcre2

repo: make ripgrep build with the new organization

2020-02-17 19:24:53 -05:00

printer

repo: make ripgrep build with the new organization

2020-02-17 19:24:53 -05:00

regex

repo: make ripgrep build with the new organization

2020-02-17 19:24:53 -05:00

searcher

repo: make ripgrep build with the new organization

2020-02-17 19:24:53 -05:00