diff options
| author | dymil | 2020-09-10 19:40:58 -0400 |
|---|---|---|
| committer | GitHub | 2020-09-11 01:40:58 +0200 |
| commit | 3f1b2e2dd447328947596731f6dfa623f31a5b3d (patch) | |
| tree | 4249cd441acdafd0dc8eb4042ba87378cad2760b /coq | |
| parent | 03e427a8f19485e12b2f95387ed3e0bff7cc944c (diff) | |
Update PhoX link and add https (#510)
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions