Add dev container support #8
Description
Similar to CATcher-org/catcher-org.github.io#22, we can add a dev container support for WATcher's markbind documentation site.
{{ message }}
Similar to CATcher-org/catcher-org.github.io#22, we can add a dev container support for WATcher's markbind documentation site.