diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2018-12-20 14:00:56 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2018-12-20 14:00:56 +0100 |
| commit | 42c7e5f1065a6f7eb2cdb745028986ca0d1f6d60 (patch) | |
| tree | da7edbdf5ae7a4d62d31b163100345036521a701 /doc | |
| parent | 0433dbedba00856358ba24d2d39579683cfc2ed9 (diff) | |
#869: `realpath` command is included in `coreutils` package on Ubuntu 18.04
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions