Edward Thomson d752ab97d6 ci: remove unused old ci scripts ...

(cherry picked from commit 24d175621b)

2018-10-12 12:07:50 +02:00

..

user_model.c

coverity: model functions printing into git_buf

2016-06-07 09:22:02 +02:00

user_nodefs.h

common: introduce GITERR_CHECK_ALLOC_BUF

2016-02-23 11:50:23 +01:00