858dd2208f
Disable ASCII and Github styles. Change-Id: Ie68fa2f0129573ea8b893db22214136d69429702 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4598 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI |
||
---|---|---|
.. | ||
snippets | ||
vendor | ||
wpc | ||
init.el | ||
opam-user-setup.el |