diff options
author | Luis Muñoz Fuente <luis.munoz.edu@juntadeandalucia.es> | 2022-03-14 19:43:22 +0100 |
---|---|---|
committer | Luis Muñoz Fuente <luis.munoz.edu@juntadeandalucia.es> | 2022-03-14 19:43:22 +0100 |
commit | 723b5deadc71c53dc8304534ea6c573cc00c35df (patch) | |
tree | 4b792cb63371c3efb8eaa961693bf0309c2b3873 /english/users | |
parent | 5688cf4d557ac61d1121e35f830a69dd38699b48 (diff) |
Revert "sin cambios"
This reverts commit 73ec47a0dd74d76f776df2c3de823a32f727ebc7.
Diffstat (limited to 'english/users')
-rwxr-xr-x[-rw-r--r--] | english/users/ping.pl | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/english/users/ping.pl b/english/users/ping.pl index c7de6a30396..c7de6a30396 100644..100755 --- a/english/users/ping.pl +++ b/english/users/ping.pl |