board_deregister: Deregister Board

Description Usage Arguments

View source: R/board.R

Description

Deregisters a board, useful to disable boards no longer in use.

Usage

1

Arguments

name

An optional name to identify this board, defaults to the board name.


javierluraschi/pins documentation built on July 15, 2019, 1:21 p.m.