directory /patches/ @ 2502:ae17fd44280f default tip

name size permissions
[up] drwxr-xr-x
dir. boot/ drwxr-xr-x
dir. cacao/ drwxr-xr-x
dir. jamvm/ drwxr-xr-x
file nss-config.patch 629 -rw-r--r--
file nss-not-enabled-config.patch 845 -rw-r--r--
file pulse-soundproperties.patch 977 -rw-r--r--
file rhino.patch 7670 -rw-r--r--
file systemtap-alloc-size-workaround.patch 623 -rw-r--r--
file systemtap.patch 7547 -rw-r--r--