Use lower-case letters for github URLs.

This makes it a little more consistent; now, "cretonne" is never capitalized
in identifier, path, or URL contexts. It is capitalized in natural
language contexts when referring to the project.
This commit is contained in:
Dan Gohman
2018-04-17 08:55:46 -07:00
parent 24fa169e1f
commit f43b6aca1a
13 changed files with 23 additions and 23 deletions

View File

@@ -4,7 +4,7 @@ isa x86 haswell
; regex: V=v\d+
; Filed as https://github.com/Cretonne/cretonne/issues/208
; Filed as https://github.com/cretonne/cretonne/issues/208
;
; The verifier complains about a branch argument that is not in the same virtual register as the
; corresponding EBB argument.