Skip to content
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

repository cleanups: remove 'findlib' files, rename desc and desr to descr #12205

Merged
merged 1 commit into from
Jun 17, 2018

Conversation

hannesm
Copy link
Member

@hannesm hannesm commented Jun 16, 2018

this PR does multiple changes

  • removes leftover findlib files (see Remove findlib files #9328 for earlier discussion)
  • moves desc and desr files to descr
  • removes .chamo.sourceview.buffers which seems to be accidentally commited

@hcarty
Copy link
Member

hcarty commented Jun 16, 2018

This looks good to me. The Travis failure is unrelated.

@pmetzger
Copy link
Member

Just a side note: a request name that is just "cleanups" is a bad idea. It means people don't know whether to pay attention to the particular request or not because they don't know what it is about.

@hannesm hannesm changed the title cleanups repository cleanups: remove 'findlib' files, rename desc and desr to descr Jun 16, 2018
@hannesm
Copy link
Member Author

hannesm commented Jun 16, 2018

@pmetzger good point, renamed. sorry.

@kit-ty-kate
Copy link
Member

Looks good. Thanks a lot!!

@kit-ty-kate kit-ty-kate merged commit 1a055c0 into ocaml:master Jun 17, 2018
@hannesm hannesm deleted the minor branch June 17, 2018 11:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants