Index of /pub/texlive/Contents/live/texmf-dist/asymptote/GUI/res/icons

	Name	Last modified	Size
	Parent Directory		-
	anchor.svg	2019-02-28 11:48	288
	android-arrow-back.svg	2019-02-28 11:48	637
	android-arrow-forward.svg	2019-02-28 11:48	637
	android-camera.svg	2019-02-28 11:48	802
	android-close.svg	2019-02-28 11:48	695
	android-color-palette.svg	2019-02-28 11:48	1.3K
	android-delete.svg	2019-02-28 11:48	674
	android-done.svg	2019-02-28 11:48	633
	android-expand.svg	2019-02-28 11:48	822
	android-folder-open.svg	2019-02-28 11:48	850
	android-hand.svg	2019-02-28 11:48	1.4K
	android-locate.svg	2019-02-28 11:48	1.1K
	android-radio-button-off.svg	2019-02-28 11:48	764
	android-radio-button-on.svg	2019-02-28 11:48	844
	android-refresh.svg	2019-02-28 11:48	806
	arrow-move.svg	2019-02-28 11:48	713
	arrow-resize.svg	2019-02-28 11:48	639
	bucket.svg	2019-02-28 11:48	1.4K
	center.svg	2019-02-28 11:48	869
	centerorigin.svg	2019-02-28 11:48	1.0K
	check.svg	2019-02-28 11:48	780
	chevron-with-circle-left.svg	2019-02-28 11:48	964
	chevron-with-circle-right.svg	2019-02-28 11:48	949
	circle.svg	2019-02-28 11:48	701
	close-round.svg	2019-02-28 11:48	838
	closedcurve.svg	2019-02-28 11:48	1.2K
	closedpolygon.svg	2019-02-28 11:48	1.0K
	code.svg	2019-02-28 11:48	1.1K
	edit.svg	2019-02-28 11:48	876
	eye.svg	2019-02-28 11:48	1.0K
	filledbucket.svg	2019-02-28 11:48	1.9K
	grid.svg	2019-02-28 11:48	1.7K
	magnifying-glass.svg	2019-02-28 11:48	915
	opencurve.svg	2019-02-28 11:48	1.1K
	openpolygon.svg	2019-02-28 11:48	1.0K
	plus-round.svg	2019-02-28 11:48	759
	save.svg	2019-02-28 11:48	620
	social-python.svg	2019-02-28 11:48	1.9K
	subdirectory-left.svg	2019-02-28 11:48	108
	text.svg	2019-02-28 11:48	221
	triangle-stroked-15.svg	2019-02-28 11:48	1.2K