che-bot f148697f95 chore: Bump to 7.42.0-SNAPSHOT in main (#220) ... merged by API		2021-12-22 13:18:55 -05:00
..
src/main/resources/che-schema	REST APIs that allows saving/edit/delete/search/share devfiles (#17843)	2020-10-06 13:00:55 +03:00
pom.xml	chore: Bump to 7.42.0-SNAPSHOT in main (#220)	2021-12-22 13:18:55 -05:00