diff options
| author | Aleksana <me@aleksana.moe> | 2024-04-02 12:20:32 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-02 12:20:32 +0800 |
| commit | 1ae6aeea7e88eab57da93502290db358dc312e02 (patch) | |
| tree | ee0988b204f3828ff3051b2ee6992a87a0028c43 /pkgs/development/coq-modules/Vpl | |
| parent | 5ea02227c91c3c4273ee1a199d5829d5cdee6d0e (diff) | |
| parent | fcd692ed4a67f479151c74721adf2670c6143030 (diff) | |
Merge pull request #300772 from maxbrunet/feat/mutagen/completion
mutagen: add shell completions
Diffstat (limited to 'pkgs/development/coq-modules/Vpl')
0 files changed, 0 insertions, 0 deletions