platform_tools_idea - Unnamed repository; edit this file 'description' to name the repository.

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