Commit graph

4 commits

Author SHA1 Message Date
Matthew Bauer 99c868c010 use https://github.com for all homepages
GitHub does a redirect to https:// when you use http://

repology complains with:

“Homepage link "https://github.com/…" is dead (HTTP error 404) for more than a month.”

This will fix some of them (not all though)
2017-08-17 14:53:40 -07:00
Robin Gloster a78316ce47 milu: disable format hardening 2016-05-31 12:28:59 +00:00
Rahul Gopinath c99944b2bf milu: Fix hydra failure on darwin
The hydra build failed on darwin on compiling, complaining about gcc.
This commit disables the darwin build.
2016-05-10 09:42:37 -07:00
Rahul Gopinath 4700db89b1
milu: init at 2016-05-09
Milu is a mutation testing tool for C and C++ programs

Closes #15341
2016-05-10 10:28:45 +02:00