« Previous | Next » 

Revision 5ca6adf5

ID5ca6adf518d1783d7c7973f2b80541d17d1c84f4
Parent 5e26a86e
Child 710a2863

Added by Klaus Aehlig about 10 years ago

Prefer unless over when (not...)

...and by doing so, please lint.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Hrvoje Ribicic <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences