Rename Devfile to devfile.yaml

This commit is contained in:
Andrew Pitt 2019-09-24 12:49:57 -04:00 committed by GitHub
parent efbc3f15cf
commit d3c6d0820a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23