No more users left so it can go alongside its helpers. Update the tinydrm docs description and remove todo entry.
Signed-off-by: Noralf Trønnes Reviewed-by: Sam Ravnborg Acked-by: Daniel Vetter Link: https://patchwork.freedesktop.org/patch/msgid/20190225144232.20761-7-noralf@tronnes.org
tinydrm is a collection of DRM drivers that are so small they can fit in a single source file.
