diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-08-03 03:29:53 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-08-03 23:26:40 +0200 |
| commit | 932b607293a7cdb4139dc81dbdce228e95e73d7e (patch) | |
| tree | bf72365a23838a42f715676e0ebbe7382868c21a /.gitignore | |
| parent | 245fae9077e72ffc513e07de0ae4cc4dfdc9f041 (diff) | |
gnu: mpfr: Use @acronym{} in Texinfo.
* gnu/packages/multiprecision.scm (mpfr)[description]: Substitute
@acronym{} for @dfn{}.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions