doc: update outdated vtimer documentation
vtimer was changed in 6ee5e737f9
to use a
user specified type for vtimer_set_msg(), but documentation didn't
reflect this new API.
dev/timer
parent
4fec8fd31e
commit
8537344db9
Loading…
Reference in New Issue