Interesting tidbits I didn't know about. The little Python API provided to generate Ninja files could turn out interesting.
tech
tools
buildsystems
ninja
FoldFold allExpandExpand allAre you sure you want to delete this link?Are you sure you want to delete this tag?
The personal, minimalist, super fast, database-free, bookmarking service by the Shaarli community