Charlie Wang 917ac9cf4c add idle-python2.7 to gui		2016-11-17 17:32:31 -05:00
..
files	Bug fix; add coq and general-use container playbook	2016-09-25 22:22:33 -04:00
tasks	add idle-python2.7 to gui	2016-11-17 17:32:31 -05:00