An error occurred while fetching folder content.
Select Git revision
pugs
Stéphane Del Pino
authored
This was a marginal optimization that - is too specific (was used only once ...) - generate no measurable performance change
| Name | Last commit | Last update |
|---|