diff options
author | ng0 <ng0@n0.is> | 2019-04-16 21:18:03 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-16 21:18:03 +0000 |
commit | 109303d884b103f5e64151c9dba8a914df9bcdb6 (patch) | |
tree | 25805f92b944e3dcd5889c091414f4ef1ae811a6 /doc/merchant-api-php.texi | |
parent | aa35506e07a6f4346da2f96a950671808e6dee42 (diff) |
manual: Fix up Texinfo.
The previous way does not really work for html and
was slightly LaTeX'ish. The alternative, @geq{}, is
not backwards portable in a non-breaking way. This
commit uses >= instead which for the gnunet documentation
has proven to be portable enough.
Diffstat (limited to 'doc/merchant-api-php.texi')
0 files changed, 0 insertions, 0 deletions