#! /bin/sed -f
# Delete C comments
# i.e. everything between /* and */

/\/\*/ !b 
: a
/\*\// !{
  N
  b a
}  
s:/\*.*\*/::

### colorized by sedsed, a sed script debugger/indenter/tokenizer/HTMLizer
### original script: http://pcsiwa.rett.polimi.it/~paolob/seders/scripts/remccoms1.sed