simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-05-05 08:54:24 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

delete plugin

Browse source
This commit is contained in:
Simon Cruanes 2026-03-19 00:22:55 -04:00
parent f7a04f1f93
commit 1daf8d6fed
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/cc/plugin/dune
View file

@ -1,5 +0,0 @@
(library
(name Sidekick_cc_plugin)
(public_name sidekick.cc.plugin)
(libraries containers iter sidekick.sigs sidekick.cc sidekick.util)
(flags :standard -w +32 -open Sidekick_util))