search

RunestoneInteractive / RunestoneComponents

Packaging of the Runestone tools for publishing educational materials using github pages
http://runestoneinteractive.org
Other
101 stars 225 forks source link

Fix: Remove unused option. #1183

Closed bjones1 closed 3 years ago

bjones1 commented 3 years ago

Per #1179.