[gbd-dev] /* STOP */

[Linus M. <Li...@mc...>]

Hello!

I got a request that Gubed should recognize 

/*STOP*/
/* STOP*/
/*STOP */
/* STOP */ 

rather than just /* STOP */

I originally made it just accept /* STOP */  to lower the risk of 
misenterpretations of comments.. 

Not sure if it's any point of bieng so strict about it though, any objections 
to allow the different variations?

/L