0
I Use This!
Inactive

Commits : Listings

Analyzed about 20 hours ago. based on code collected 1 day ago.
May 15, 2023 — May 15, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge pull request #288 from amirmc/weekly More... about 9 years ago
another typo More... about 9 years ago
add thomasG to attendees More... about 9 years ago
fix typos More... about 9 years ago
add anil to attendees More... about 9 years ago
add notes to site More... about 9 years ago
add notes from call on 2015-02-11 More... about 9 years ago
travis: revert back to standard travis skeleton More... about 9 years ago
config: `GWS` split on `:` to avoid issues with shell More... about 9 years ago
config: only fetch params as required More... about 9 years ago
config: use `split` to handle gateways More... about 9 years ago
config: add `split` to handle list of gateways More... about 9 years ago
config: try passing ip config in sensibly More... about 9 years ago
travis: pass in deployment IP config More... about 9 years ago
config: stop embedding deployment IP addresses More... about 9 years ago
Merge pull request #287 from mattgray/master More... about 9 years ago
Correct URL for Opam installation instructions More... over 9 years ago
travis: revert to using `ocaml` org scripts More... over 9 years ago
travis: testing update to travis script More... over 9 years ago
travis: no need for separate travis config More... over 9 years ago
travis: revert to @ocaml travis scripts; document More... over 9 years ago
Merge pull request #283 from talex5/stack-protector More... over 9 years ago
sync changelog and TROVE More... over 9 years ago
Merge pull request #284 from talex5/tutorial More... over 9 years ago
More updates to networking tutorial More... over 9 years ago
Use Mini-OS 0.6 for stack-protector fix More... over 9 years ago
Merge pull request #282 from amirmc/pinata More... over 9 years ago
reduce to intro para and link off elsewhere More... over 9 years ago
add pinata post to site More... over 9 years ago
add post on pinata More... over 9 years ago