tools/idea.git -

Mode	Name	Size
-rw-r--r--	.gitattributes	56	log plain
-rw-r--r--	.gitignore	197	log plain
d---------	.idea	982	log plain
-rw-r--r--	NOTICE.txt	127	log plain
d---------	RegExpSupport	385	log plain
d---------	bin	289	log plain
-rw-r--r--	build.txt	13	log plain
-rw-r--r--	build.xml	2806	log plain
d---------	build	512	log plain
-rwxr-xr-x	build_ide_ext.sh	1422	log plain
-rwxr-xr-x	build_studio.sh	1081	log plain
d---------	colorSchemes	74	log plain
-rw-r--r--	community-main.iml	6731	log plain
d---------	community-resources	81	log plain
d---------	community-tests	77	log plain
-rw-r--r--	getPlugins.bat	146	log plain
-rwxr-xr-x	getPlugins.sh	136	log plain
d---------	images	68	log plain
d---------	java	1063	log plain
d---------	jps	348	log plain
d---------	lib	4080	log plain
d---------	license	1314	log plain
d---------	native	417	log plain
d---------	platform	1859	log plain
d---------	plugins	1435	log plain
d---------	python	1057	log plain
d---------	resources-en	74	log plain
d---------	resources	71	log plain
d---------	samples	322	log plain
d---------	spellchecker	143	log plain
-rw-r--r--	test-log.xml	1469	log plain
d---------	tools	77	log plain
d---------	updater	171	log plain
d---------	xml	503	log plain