webauthn/bin/dune

9 lines
234 B
Text
Raw Permalink Normal View History

2021-09-28 11:30:14 +00:00
(executable
(public_name webauthn_demo)
(name webauthn_demo)
(modules webauthn_demo template)
(preprocessor_deps base64.js)
(preprocess (pps ppx_blob))
(libraries webauthn dream cmdliner logs.cli lwt flash_message)
(optional))