From b994718a1f2931c4eed938a611518f4bf607c0fd Mon Sep 17 00:00:00 2001 From: hadley Date: Tue, 19 Jun 2012 10:32:30 -0500 Subject: [PATCH] Update news about options --- NEWS | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/NEWS b/NEWS index 1211a54c1..ada464033 100644 --- a/NEWS +++ b/NEWS @@ -34,6 +34,10 @@ CHECKING OTHER NEW FEATURES +* devtools now uses options `devtools.path` to set the default path to use + with devmode, and `github.user` to set the default user when installing + packages from github. + * if no package supplied, and no package has been worked with previously, all functions now will try the working directory. (Fixes #87)