aboutsummaryrefslogtreecommitdiff
path: root/dev/base_include
diff options
context:
space:
mode:
authorFrédéric Besson2020-06-23 16:47:38 +0200
committerBESSON Frederic2020-11-18 09:49:22 +0100
commit0a6507acc9f6ba896e10d1442d8ff869f0178942 (patch)
tree7a0cd1d0a988d6488afda08542e2f0643fd25a17 /dev/base_include
parent396de348a4daa2ae752bed8c75a9ecacb4dcd579 (diff)
[micromega/zify] expose more API for plugin users
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions