summary refs log tree commit diff
path: root/gnu/packages/patches/tao-add-missing-headers.patch
AgeCommit message (Expand)Author
2020-07-16gnu: Add tao.Ricardo Wurmus