2019-06-24 06:39:58 -07:00
|
|
|
1{
|
2019-07-05 19:09:01 -07:00
|
|
|
i\
|
2019-06-24 06:39:58 -07:00
|
|
|
/* ---------------------------------------------------------------------------|\
|
|
|
|
*
|
|
|
|
}
|
|
|
|
1,3{
|
2019-07-05 19:09:01 -07:00
|
|
|
s/\/\// */
|
2019-06-24 06:39:58 -07:00
|
|
|
}
|
|
|
|
4{
|
2019-07-05 19:09:01 -07:00
|
|
|
c\
|
2019-06-24 06:39:58 -07:00
|
|
|
*\
|
|
|
|
* ---------------------------------------------------------------------------|\
|
|
|
|
*/\
|
|
|
|
|
|
|
|
}
|
|
|
|
s/--|$//
|
|
|
|
s/\/\/\(.\+\)/\/*\1 *\//
|