[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#40815] gnu: Add metamath.
From: |
elaexuotee |
Subject: |
[bug#40815] gnu: Add metamath. |
Date: |
Wed, 13 May 2020 16:25:11 +0900 |
User-agent: |
mblaze/0.5.1 |
Just discovered the (git-file-name ...) function. This is a simple update to
the metamath patch to use this instead of manually using string-append.
0001-gnu-Add-metamath.patch
Description: Text Data
signature.asc
Description: PGP signature
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug#40815] gnu: Add metamath.,
elaexuotee <=