From 52dcc0484800e643262d1585920350243cf3ae40 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Mon, 15 Feb 2021 18:37:03 +0100
Subject: [PATCH] removing comment

---
 default.nix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/default.nix b/default.nix
index 30902487..c382c517 100644
--- a/default.nix
+++ b/default.nix
@@ -1,5 +1,3 @@
-# This file was generated from `meta.yml`, please do not edit manually.
-# Follow the instructions on https://github.com/coq-community/templates to regenerate.
 { config ? {}, withEmacs ? false, print-env ? false, do-nothing ? false,
   update-nixpkgs ? false, ci ? false, ci-step ? null, inNixShell ? null
 }@args: