Merge pull request #143 from math-comp/nocomment

gares · web-flow · commit 6d3221b00f08 · 2021-02-15T18:49:02.000+01:00
removing comment
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:

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		-# This file was generated from `meta.yml`, please do not edit manually.
`2`		`-# Follow the instructions on https://github.com/coq-community/templates to regenerate.`
`3`	`1`	`{ config ? {}, withEmacs ? false, print-env ? false, do-nothing ? false,`
`4`	`2`	`update-nixpkgs ? false, ci ? false, ci-step ? null, inNixShell ? null`
`5`	`3`	`}@args:`