diff options
| author |   Yu Gu <guyu2876@gmail.com> | 2022-04-24 19:52:51 +0800 |
|---|---|---|
| committer |   Jakov Smolić <jsmolic@gentoo.org> | 2022-04-25 17:10:12 +0200 |
| commit | 838d01ee3a878c5f991cd0bfa88f255a61511081 (patch) | |
| tree | 5f8b3503af48174a69e6d3cf7dffde95619e1876 /app-emacs/proofgeneral | |
| parent | app-xemacs/rmail: Keyword 1.16 riscv, #840502 (diff) | |
| download | gentoo-838d01ee3a878c5f991cd0bfa88f255a61511081.tar.gz gentoo-838d01ee3a878c5f991cd0bfa88f255a61511081.tar.bz2 gentoo-838d01ee3a878c5f991cd0bfa88f255a61511081.zip | |
app-xemacs/ruby-modes: Keyword 1.07 riscv, #840502
Signed-off-by: Yu Gu <guyu2876@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'app-emacs/proofgeneral')
0 files changed, 0 insertions, 0 deletions