chiark / gitweb /
[PATCH] add NAME{ignore_remove} attribute