org.eclipse.jgit.benchmarks/.settings/org.eclipse.core.resources.prefs - jgit - Git at Google


            
            eclipse.preferences.version=1

            
            encoding/<project>=UTF-8

            
            encoding/src=UTF-8
	eclipse.preferences.version=1
	encoding/<project>=UTF-8
	encoding/src=UTF-8