More consistent naming of files.
authorRichard W.M. Jones <rich@annexia.org>
Sun, 18 May 2008 19:23:13 +0000 (19:23 +0000)
committerRichard W.M. Jones <rich@annexia.org>
Sun, 18 May 2008 19:23:13 +0000 (19:23 +0000)
commitd1e400223f83ce1a4b3ccafda79d882d77eab849
tree79b58ab051ff0af8fb3af6f216e65518b0045b75
parent9598ebddee3b74b88aefcd3b47af8cf32dd8e096
More consistent naming of files.
examples/ping.ipv4 [moved from examples/ipv4.ping with 100% similarity]
examples/ping.ipv6 [moved from examples/ipv6.ping with 100% similarity]
examples/ping.ml