diff options
| -rw-r--r-- | kernels/linux-libre-rt/PKGBUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernels/linux-libre-rt/PKGBUILD b/kernels/linux-libre-rt/PKGBUILD index 75d4a3ab5..6f14461fe 100644 --- a/kernels/linux-libre-rt/PKGBUILD +++ b/kernels/linux-libre-rt/PKGBUILD @@ -6,6 +6,7 @@ # Contributor (Parabola): Nicolás Reynolds <fauno@kiwwwi.com.ar> # Contributor (Parabola): Jorge Lopez <jorginho@adinet.com.uy> # Contributor (Parabola): André Silva <andre.paulista@adinet.com.uy> +# Contributor (Parabola): Márcio Silva <coadde@adinet.com.uy> pkgbase=linux-libre-rt pkgname=('linux-libre-rt' 'linux-libre-rt-headers') # Build stock -LIBRE kernel with RT support |