diff options
| author | Son Ho | 2023-11-27 14:15:01 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-27 14:15:01 +0100 |
| commit | a17eef1053909117d75c9ea8eeaad786626cc05d (patch) | |
| tree | 4de215bcf14c54eb653095c7ac398b0be10f87de /backends/lean | |
| parent | fdb8555cf6bc21ea230141373920196b078bdd28 (diff) | |
Update the way the Primitives file is copied
Diffstat (limited to 'backends/lean')
0 files changed, 0 insertions, 0 deletions