Block or Report
Block or report rand00
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
113 contributions in the last year
Contribution activity
June 2022
Created 2 commits in 1 repository
Created 3 repositories
Created a pull request in ocsigen/tyxml that received 5 comments
Opened 3 other pull requests in 3 repositories
roburio/modulectomy
1
open
ocsigen/js_of_ocaml
1
open
rand00/tyxml
1
merged
Created an issue in ocaml/odoc that received 15 comments
Avoid grabbing all keys in JS, to support browser plugins
I just tested out odig odoc PKG
, but found that my firefox plugin vimium
doesn't work in the documentation - as all keys are grabbed by som JS scri…
15
comments