From fb716605618acbb51e6e98683c6d189cb525b866 Mon Sep 17 00:00:00 2001 From: voodoorai2000 Date: Thu, 11 Apr 2019 12:18:07 +0200 Subject: [PATCH] Use official name for Debian --- docs/en/installation/debian.md | 2 +- docs/es/installation/debian.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/en/installation/debian.md b/docs/en/installation/debian.md index b5182a9e3..c3efa3447 100644 --- a/docs/en/installation/debian.md +++ b/docs/en/installation/debian.md @@ -1,4 +1,4 @@ -## Configuration for development and test environments (Debian 9.8) +## Configuration for development and test environments (Debian GNU/Linux 9.8) ## Superuser diff --git a/docs/es/installation/debian.md b/docs/es/installation/debian.md index c8c77d8b2..fab3f1ac8 100644 --- a/docs/es/installation/debian.md +++ b/docs/es/installation/debian.md @@ -1,4 +1,4 @@ -## Configuración para los entornos de desarrollo y pruebas (Debian 9.8) +## Configuración para los entornos de desarrollo y pruebas (Debian GNU/Linux 9.8) ## Super usuario