Skip to content

Pull requests: reasonml/reason-tools

New pull request New
Clear current search query, filters, and sorts
1 Open 30 Closed
1 Open 30 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

content script now doesn't rewrite code as refmt errors
#92 by dvisztempacct was merged Jun 3, 2018 Loading…
12
switch to dynamic language refmt
#67 by rickyvetter was merged Apr 27, 2017 Loading…
10
rr2 migration
#79 by glennsl was merged Jun 28, 2017 Loading…
10
In-page conversion of selection via context menu item
#34 by glennsl was merged Feb 17, 2017 Loading…
7
nextSibling -> nextElementSibling (fixes #42)
#61 by glennsl was merged Apr 18, 2017 Loading…
4
A few fixes + Share button
#37 by glennsl was merged Feb 18, 2017 Loading…
3
Fix a typo in Core.History module name
#51 by fson was merged Apr 8, 2017 Loading…
1
Shows the error message when inline refmt fails
#63 by glennsl was merged Apr 18, 2017 Loading…
1
1
Remove toplevel prompt before refmt
#64 by glennsl was merged Apr 18, 2017 Loading…
1
test
#68 by chenglou was merged Apr 26, 2017 Loading…
1
hand-build repo
#69 by chenglou was merged Apr 26, 2017 Loading…
1
make tests pass
#70 by chenglou was merged Apr 27, 2017 Loading…
1
Cleaner build commands, better docs
#71 by chenglou was merged Apr 27, 2017 Loading…
1
Updated README to reflect the new and improved build process
#30 by glennsl was merged Feb 9, 2017 Loading…
Use browser action icon as disabled indicator
#62 by glennsl was merged Apr 18, 2017 Loading…
Adds screen config
#57 by glennsl was merged Apr 17, 2017 Loading…
Adds tooltips to swap buttons
#59 by glennsl was merged Apr 17, 2017 Loading…
1
New reason stuff
#45 by rickyvetter was merged Mar 14, 2017 Loading…
2 of 4 tasks
Refactoring
#38 by glennsl was merged Feb 18, 2017 Loading…
Link fixes
#39 by rickyvetter was merged Feb 18, 2017 Loading…
Removed fsevents from shrinkwrap
#56 by glennsl was merged Apr 17, 2017 Loading…
remove some uneeded deps
#66 by chenglou was merged Apr 26, 2017 Loading…
Rename files to be lower-case
#73 by chenglou was merged Apr 27, 2017 Loading…
new shrinkwrap
#72 by chenglou was merged Apr 27, 2017 Loading…
Error fix
#75 by rickyvetter was merged May 14, 2017 Loading…
ProTip! Updated in the last three days: updated:>2025-01-10.