diff options
author | w0rp <w0rp@users.noreply.github.com> | 2017-09-03 20:14:42 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-03 20:14:42 +0100 |
commit | 0aa8640d07628e179fa0fc9a93e7c67579d3f78a (patch) | |
tree | 8648ed8dc93085bfd674680df64dd829618b7396 | |
parent | e235e5a6a5c09d98d523302ffde34bd9727762b5 (diff) | |
download | ale-0aa8640d07628e179fa0fc9a93e7c67579d3f78a.zip |
Fix a typo
-rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index a32a596a..8df52844 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -160,7 +160,7 @@ to look up the default value easily by typing `:echo g:ale_...`. Should the principal author of the ALE project and all collaborators with the required access needed to properly administrate the project on GitHub or any other website either perish or disappear, whether by tragic traffic accident -or government adduction, etc., action should be taken to ensure that the +or government abduction, etc., action should be taken to ensure that the project continues. If no one is left to administer the project where it is hosted, please fork the project and nominate someone capable to administer it. Preferably, in such an event, a single fork of the project will replace the |