Index of /extensions/VisualEditor/lib/ve/bin

	Name	Last modified	Size	Description

	Parent Directory		-
	update-oojs-ui.sh	2015-08-05 17:04	1.5K
	sync-gh-pages.sh	2015-08-05 17:04	1.4K
	update-unicodejs.sh	2015-08-05 17:04	1.4K
	update-oojs.sh	2015-08-05 17:04	1.3K

Apache/2.4.38 (Debian) Server at oldwiki.tk-chel.ru Port 80