diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2021-07-06 11:55:45 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2021-07-06 11:57:42 +0200 |
| commit | 142d1c8a095c1b45f556850c21214ac6e4bb7971 (patch) | |
| tree | 7ce1cbb98f757be2faacb911371c71d8bd033f92 /admin/WebConsole/principal/boot_grub4dos.php | |
| parent | 87b8c4698846f84e4bc283efc7ec49243ce8a904 (diff) | |
#1048: Avoid Awk 5.x warning when escaping quotes.
Diffstat (limited to 'admin/WebConsole/principal/boot_grub4dos.php')
0 files changed, 0 insertions, 0 deletions