diff options
| author |   Matt Turner <mattst88@gentoo.org> | 2022-10-29 17:19:34 -0400 |
|---|---|---|
| committer | Matt Turner <mattst88@gentoo.org> | 2022-10-29 18:32:28 -0400 |
| commit | 984fab8b096f901cd12c52d79e7f363d0c1433bf (patch) | |
| tree | 0c12d6a43efad8bc4374fec3fa36a7125e13aa3a /sci-mathematics/lean | |
| parent | app-editors/ghex: Set remote-id (diff) | |
| download | gentoo-984fab8b096f901cd12c52d79e7f363d0c1433bf.tar.gz gentoo-984fab8b096f901cd12c52d79e7f363d0c1433bf.tar.bz2 gentoo-984fab8b096f901cd12c52d79e7f363d0c1433bf.zip | |
app-editors/gnome-latex: Set remote-id
Signed-off-by: Matt Turner <mattst88@gentoo.org>
Diffstat (limited to 'sci-mathematics/lean')
0 files changed, 0 insertions, 0 deletions