diff options
| author | Gaëtan Gilbert | 2020-04-30 11:29:28 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-05-04 16:54:16 +0200 |
| commit | 7ed5fc97242777655d9128ebf695d18083d5a699 (patch) | |
| tree | 9ca4cc51536f13766d253ea32c756f2ca81d331b /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 96b04a9dc6d548acb712df760ad4a1472b01a8d4 (diff) | |
nit: don't open Persistent_cache in micromega
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions