Remove source_rep from maketea

ARudik / phc

Automatically exported from code.google.com/p/phc

0 stars 0 forks source link

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

It can easily be supported in usercode, so no need for it.

Original issue reported on code.google.com by paul.biggar on 20 Sep 2008 at 9:53

GoogleCodeExporter commented 9 years ago

Removed in maketea revision 146.

phc turned this off, now no longer required. Remove in phc revision 3346.

Original comment by paul.biggar on 8 Sep 2010 at 10:30