diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-27 00:53:48 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-27 00:53:48 +0100 |
commit | a105b5e0cd32e11624e5312af736e4828b06d6f4 (patch) | |
tree | 730f92d618da4c81c4e8a866de2a9d3b66479fbe /site/cleopatra/Contents/Coq.org | |
parent | Use toml-mode for syntax highlighting and align a la Cargo.toml (diff) |
Make a generation process prebuild depends on its tangled file
Diffstat (limited to 'site/cleopatra/Contents/Coq.org')
0 files changed, 0 insertions, 0 deletions