diff options
| author | Son HO | 2024-04-11 10:54:12 +0200 |
|---|---|---|
| committer | GitHub | 2024-04-11 10:54:12 +0200 |
| commit | c63284e3f9d7723b24f2d226355747e91ebb06aa (patch) | |
| tree | e68d5f36fee075e09f96d9692e8072ec5c904192 /backends/hol4/Holmakefile | |
| parent | 143a68b2c43c4302abbbd39c28cac3f9c5f52f4a (diff) | |
Update a comment
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions