aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/derive/Derive.v
blob: 0d5a93b034a2d0838339f76a7b0a07492919a225 (plain)
1
Declare ML Module "derive_plugin".