403 Commits

Author	SHA1	Message	Date
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
Andrew Gallant	0874aa115c	repo: make ripgrep build with the new organization	2020-02-17 19:24:53 -05:00
Andrew Gallant	fdd8510fdd	repo: move all source code in crates directory ... The top-level listing was just getting a bit too long for my taste. So put all of the code in one directory and shrink the large top-level mess to a small top-level mess. NOTE: This commit only contains renames. The subsequent commit will actually make ripgrep build again. We do it this way with the naive hope that this will make it easier for git history to track the renames. Sigh.	2020-02-17 19:24:53 -05:00