removing comment

math-comp · Feb 15, 2021 · 52dcc04 · 52dcc04
1 parent 9cdd4c6
commit 52dcc04
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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: