Author	SHA1	Message	Date
Dan Buch	e6fecd3c7f	Remove duplicate .tar.gz extension in local artifact dest	2019-07-03 12:46:10 -04:00
Greg Lin	d353cee634	Set PAGER for Ubuntu and Debian only ... /usr/bin/pager is specific to Debian/Ubuntu. For other OSs, use the default pager detected by the configure script, which will either be less or more. See https://github.com/rstudio/r-builds/issues/3	2019-05-03 15:31:02 -05:00
Steve Nolen	bd3505e426	make repo public	2019-03-25 12:59:14 -04:00