summaryrefslogtreecommitdiff
path: root/power/power_extras_embed_sequential.lem
AgeCommit message (Expand)Author
2020-07-31Remove old specs that have more up to date versionAlasdair
2017-12-04added the Power modelShaked Flur
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 00:55:11 +0000