diff options
| author | RustyRaptor <RustyRaptor@users.noreply.github.com> | 2018-06-30 04:01:56 -0600 |
|---|---|---|
| committer | Loïc Blot <nerzhul@users.noreply.github.com> | 2018-06-30 12:01:56 +0200 |
| commit | 222866bab7e1b22245840fd2130122d2709b1cab (patch) | |
| tree | 792708f0ee10368ceded08362998f436b171230b /lib/gmp/mini-gmp.c | |
| parent | d7f873bc8d8edc73cee1c40db055b038febc4e1b (diff) | |
| download | minetest-222866bab7e1b22245840fd2130122d2709b1cab.tar.gz minetest-222866bab7e1b22245840fd2130122d2709b1cab.tar.bz2 minetest-222866bab7e1b22245840fd2130122d2709b1cab.zip | |
Removed '$' symbols from the start of shell commands. (#7506)
Diffstat (limited to 'lib/gmp/mini-gmp.c')
0 files changed, 0 insertions, 0 deletions