search

richfitz / drat.builder

Build tools for a drat
Other
17 stars 2 forks source link

Remove packages #14

Open richfitz opened 9 years ago

richfitz commented 9 years ago

Should removal of a package from packages.txt remove the package? Does it already?

cboettig commented 9 years ago

It doesn't currently. I would stick with the current behavior, since it allows an 'archived' copy to persist without having it currently built every time

On Tue, Sep 8, 2015, 3:14 AM Rich FitzJohn notifications@github.com wrote:

Should removal of a package from packages.txt remove the package? Does it already?

— Reply to this email directly or view it on GitHub https://github.com/richfitz/drat.builder/issues/14.

http://carlboettiger.info