libtins: Actually remove it...
authorRosen Penev <redacted>
Wed, 13 Nov 2019 23:32:23 +0000 (15:32 -0800)
committerRosen Penev <redacted>
Wed, 13 Nov 2019 23:32:23 +0000 (15:32 -0800)
commit192c44e2642639980f080d636fa002ae5571b857
tree3626b12dcc1f2758908860a0c7e6cdab43dd2c8d
parent7a2930acf4a9feb4c83268c63dda5feb8a8ba12f
libtins: Actually remove it...

Signed-off-by: Rosen Penev <redacted>
libs/libtins/Makefile
git clone https://git.99rst.org/PROJECT