intro.defs: Use https; see Directives, Part 2:2018#2248
Merged
tkoeppe merged 1 commit intocplusplus:masterfrom Jul 5, 2018
Merged
intro.defs: Use https; see Directives, Part 2:2018#2248tkoeppe merged 1 commit intocplusplus:masterfrom
tkoeppe merged 1 commit intocplusplus:masterfrom
Commits
Commits on Jul 5, 2018
- committed
Hubert Tong