Skip to content

Commit f035b3d

Browse files
committed
Remove all non-CTFE stuff from the miri repository
1 parent ed674f7 commit f035b3d

File tree

285 files changed

+0
-11610
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

285 files changed

+0
-11610
lines changed

.gitignore

Lines changed: 0 additions & 6 deletions
This file was deleted.

.travis.yml

Lines changed: 0 additions & 45 deletions
This file was deleted.

0 commit comments

Comments
 (0)