From 5f920f543c1c3ddff60554b35b73c9bf56777456 Mon Sep 17 00:00:00 2001 From: voodoorai2000 Date: Thu, 11 Apr 2019 12:13:09 +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 b8e1b927f..aa761a15d 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 30eb6e68e..bbde055c2 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