mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
0528e0903f
Write stdin to <outfile> if it is different from the previous content. If data provided in stdin is the same as the data that was in <outfile>, it is not modified so `last modification date` is not changed. |
||
---|---|---|
.. | ||
pythonlibs | ||
testbed-support | ||
tests/if_lib | ||
tools | ||
ar-wrapper | ||
empty.a | ||
gdbinit-docker | ||
Makefile |