Jeremy Kelly

Results 3 comments of Jeremy Kelly

I was wondering that the other day. If I read the source code correctly, expired session records are deleted automatically every fifteen minutes, so you do not need to delete...

Doesn't work for me, either; I had to size the drawing in the SVG.

The 'csstree-ignore-line' comment would be a great way to handle this. It's flexible, easy to understand and apply, and wouldn't require any configuration changes.