mirror of
				https://github.com/BurntSushi/ripgrep.git
				synced 2025-10-30 23:17:47 +02:00 
			
		
		
		
	
	2025-10-28  - 2025-10-31 
	
	
		
		
	
Overview
				Excluding merges,
				2 authors
				have pushed
				2 commits
				to master and
				2 commits
				to all branches.
				On master,
				4 files
				have changed
				and there have been
				12 additions
				and
				6 deletions.
			
			1 Release published by 1 user
				Published
				ignore-0.4.25