No EXTRAFEATURES in git?

Brought to you by: idgay, kerneis, mattharren, necula

#152 No EXTRAFEATURES in git?

Milestone: Bug

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2015-06-14

Created: 2015-06-14

Creator: giksos

Private: No

I cloned http://sourceforge.net/p/cil/code/ci/master/tree/ and I see no mention of EXTRAFEATURES anywhere. Is this intentional?

Discussion

Log in to post a comment.