1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-17 18:43:50 +01:00
Benjamin Valentin b5339c61ce sys/shell: drop ping6 alias
We don't need two names for the same command, ping is enough.
2022-11-18 12:54:12 +01:00
..
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-11-18 12:54:12 +01:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00
2022-09-16 13:15:45 +02:00