Subject: Re: [bug#73021] [PATCH v3] gnu: Add gnudos.
From: Ludovic Courtès <[email-masked]>
To: Andy Tai <[email-masked]>
Cc: [email-masked]
Date: Thu, 19 Sep 2024 13:16:28 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Andy Tai <[email-masked]> skribis:

> * gnu/packages/mc.scm (gnudos): New variable.
>
> Change-Id: I03a101be81bba3e4fdf8e11a7b4a799b92f86ad0

Applied, thanks!

> +     "GnuDOS is a set of programs designed to help new users of the GNU
> +system in growing accustomed to the system, particularly users who might be
> +coming from a DOS background.  It consists of a file manager, a text editor
> +and a form designer for the console as well as a core library for building
> +similar utilities.")

Not sure the target audience still exists.  :-)

Ludo'.