diff options
author | Luis Muñoz Fuente <luis.munoz.edu@juntadeandalucia.es> | 2022-03-04 16:40:22 +0100 |
---|---|---|
committer | Luis Muñoz Fuente <luis.munoz.edu@juntadeandalucia.es> | 2022-03-04 16:40:22 +0100 |
commit | 1a8586623dcfcc4e066070d3d8f4002ccd51f402 (patch) | |
tree | 96a9aa871db6ace4a9daeb864d857bfaa36b019c /english/users | |
parent | c1ce29bf9cb7c713e27640d59ade2d97b3b5ba47 (diff) |
sin cambios
Diffstat (limited to 'english/users')
-rw-r--r--[-rwxr-xr-x] | 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 100755..100644 --- a/english/users/ping.pl +++ b/english/users/ping.pl |