Problem: no way to see current master's documentation #1
Description
Proposed solution: set up a cron script somewhere that will pull PumpkinDB master daily and commit it to this repository under doc/master
{{ message }}
Proposed solution: set up a cron script somewhere that will pull PumpkinDB master daily and commit it to this repository under doc/master