diff options
| author | Manuel Bärenz <programming@manuelbaerenz.de> | 2020-09-16 11:59:30 +0200 |
|---|---|---|
| committer | Manuel Bärenz <programming@manuelbaerenz.de> | 2020-09-18 12:42:23 +0200 |
| commit | 4336f9f7bbea908eff7eb44dc95a90f5b1023969 (patch) | |
| tree | 9cad434ee86a0da5dad52875d328202603185b73 /nixos | |
| parent | 87cab901a3328792fd4abf6b63e9c4a5f8f92e5f (diff) | |
| download | nixpkgs-4336f9f7bbea908eff7eb44dc95a90f5b1023969.tar nixpkgs-4336f9f7bbea908eff7eb44dc95a90f5b1023969.tar.gz nixpkgs-4336f9f7bbea908eff7eb44dc95a90f5b1023969.tar.bz2 nixpkgs-4336f9f7bbea908eff7eb44dc95a90f5b1023969.tar.lz nixpkgs-4336f9f7bbea908eff7eb44dc95a90f5b1023969.tar.xz nixpkgs-4336f9f7bbea908eff7eb44dc95a90f5b1023969.tar.zst nixpkgs-4336f9f7bbea908eff7eb44dc95a90f5b1023969.zip | |
tests/agda: Fix comment
Diffstat (limited to 'nixos')
| -rw-r--r-- | nixos/tests/agda.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/tests/agda.nix b/nixos/tests/agda.nix index e158999e57d..3b3eb2803bd 100644 --- a/nixos/tests/agda.nix +++ b/nixos/tests/agda.nix @@ -31,7 +31,7 @@ in machine.succeed('echo "import IO" > TestIO.agda') machine.succeed("agda -l standard-library -i . TestIO.agda") - # # Hello world + # Hello world machine.succeed( "cp ${hello-world} HelloWorld.agda" ) |