diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2024-05-24 21:03:04 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2024-05-24 21:05:41 +0300 |
| commit | 66647c0bbbe41a850d79d9c76fb13add3378940f (patch) | |
| tree | a29ab466595925600a20da08290d41893c2cdcac /docs/README.md | |
| parent | ded4eaca0bf5af25486218c0f3f18919d74de903 (diff) | |
| download | inter-master.tar.xz | |
Also adds convenience target dist_gf for making just a gf distribution
Diffstat (limited to 'docs/README.md')
0 files changed, 0 insertions, 0 deletions