---
** [bugs:#152] No EXTRAFEATURES in git?**
**Status:** open
**Group:** Bug
**Created:** Sun Jun 14, 2015 11:48 PM UTC by giksos
**Last Updated:** Sun Jun 14, 2015 11:48 PM UTC
**Owner:** nobody
I cloned http://sourceforge.net/p/cil/code/ci/master/tree/ and I see no mention
of EXTRAFEATURES anywhere. Is this intentional?
---
Sent from sourceforge.net because cil-users@lists.sourceforge.net is subscribed
to https://sourceforge.net/p/cil/bugs/
To unsubscribe from further messages, a project admin can change settings at
https://sourceforge.net/p/cil/admin/bugs/options. Or, if this is a mailing
list, you can unsubscribe from the mailing list.
------------------------------------------------------------------------------
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
