diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-18 13:03:40 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-18 13:03:40 -0500 |
| commit | 256397061fe5ae5649b4569c45bb53c8e45e0cbe (patch) | |
| tree | 652e7b5833ea32d13b0ae1ea9cc32ba421fed827 /dune-project | |
| parent | 12ba5ed258b3a1ff30c3ece030e8eeed0dc417e9 (diff) | |
| download | stitch-256397061fe5ae5649b4569c45bb53c8e45e0cbe.tar.gz stitch-256397061fe5ae5649b4569c45bb53c8e45e0cbe.tar.bz2 stitch-256397061fe5ae5649b4569c45bb53c8e45e0cbe.zip | |
Add support for arbitrary command in the note view
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions