[totem] build: Make building the user help optional

From: Bastien Nocera <hadess src gnome org>
To: commits-list gnome org
Cc:
Subject: [totem] build: Make building the user help optional
Date: Wed, 5 May 2021 11:16:17 +0000 (UTC)

Summary of changes:

  4086ecb... build: Make building the user help optional (*)

(*) This commit already existed in another branch; no separate mail sent

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]