1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-25 22:43:50 +01:00
Koen Zandberg 0e3ddd2b3b
Merge pull request #14231 from benemorius/pr/pingping6
sys/shell/commands: alias ping=ping6
2020-06-12 13:30:55 +02:00
..
2019-11-23 22:39:07 +01:00
2020-02-07 13:35:25 +01:00
2019-11-23 22:39:40 +01:00
2019-11-23 22:39:37 +01:00
2020-02-20 13:24:14 +01:00
2019-11-23 22:39:37 +01:00
2020-04-07 17:48:39 +02:00
2019-11-23 22:39:38 +01:00
2020-03-09 17:56:34 +01:00
2019-11-23 22:39:38 +01:00
2020-06-10 21:21:33 +02:00
2020-02-11 13:59:59 +01:00
2020-06-10 21:21:33 +02:00