Rename devfile.yaml to devfile.old

This commit is contained in:
Andrew Pitt 2019-12-19 08:46:52 -05:00 committed by GitHub
parent 1eb659aa8b
commit 009c49af01
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23