From aba62c73be7194ffc8d2bf69965bc12b30c7ddfc Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Wed, 11 Apr 2018 21:00:23 -0400 Subject: [PATCH] Https everywhere. --- bibs/myrefs.bib | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 9f42481..b35b5d7 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -24,7 +24,7 @@ Silva, Alexandra}, year = {2018}, jh = yes, - url = {http://arxiv.org/abs/1802.06283}, + url = {https://arxiv.org/abs/1802.06283}, eprint = {1802.06283}, archivePrefix = {arXiv}, primaryClass = {cs.PL}, @@ -118,7 +118,7 @@ jh = yes, reviewed = yes, booktitle = cav18, - url = {http://arxiv.org/abs/1804.04052}, + url = {https://arxiv.org/abs/1804.04052}, eprint = {1804.04052}, archivePrefix = {arXiv}, primaryClass = {cs.PL},