remote-jobs icon indicating copy to clipboard operation
remote-jobs copied to clipboard

Edit Theorem to TheoremOne

Open mikelopez-theoremone opened this issue 2 years ago • 0 comments

And relevant links to our new site.

Signed-off-by: Mike Lopez [email protected]

This Pull Request should adhere to the repository's Code of Conduct.

Title your pull request descriptively. [edit X company] or [add new company - COMPANY]

Please read and check the boxes in the list below that apply!

If updating or adding a company, please include details here: delete this and add details

Check off this list as appropriate (add an x between the []). It will be used by @dougaitken when reviewing your contribution.

  • [x] This PR contains housekeeping only (URL edits, copy changes etc) - if this is checked, delete other lines that don't apply.
  • [x] You are an employee of the company mentioned and confirm all included details are correct.
  • [x] An entry has been added or edited within the readme.md file.

This is a modified version of the Contributing Guidelines.

mikelopez-theoremone avatar Oct 14 '22 22:10 mikelopez-theoremone