Skip to content

/ servo

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename check_no_unwrap.sh to check_no_panic.sh #12384

Closed
wants to merge 2 commits into from
+3 −3
Closed

Rename check_no_unwrap.sh to check_no_panic.sh #12384

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
2cfd522
rename etc/ci/check_no_unwrap.sh to etc/ci/check_no_panic.sh
zeusintuivo Jul 6, 2016
6749a50
Replacing check_no_unwrap for check_no_panic
zeusintuivo Jul 6, 2016
File filter...
Filter file types
Jump to…
Jump to file
Failed to load files.

Always

Just for now

Next

rename etc/ci/check_no_unwrap.sh to etc/ci/check_no_panic.sh

  • Loading branch information
@zeusintuivo
zeusintuivo committed Jul 11, 2016
commit 2cfd522d3161931cb22ed996793363ea260aa628
0 etc/ci/check_no_unwrap.sh → etc/ci/check_no_panic.sh
View file
Open in desktop
File renamed without changes.
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.