1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-16 18:13:49 +01:00
Joakim Nohlgård 7e8f001d43 doc: Remove doxygen_entrydb_*.tmp when cleaning
Doxygen 1.8.12 leaves these files behind after finishing the build.
2017-01-17 14:54:45 +01:00
..