diff options
author | Kevin Cox <kevincox@kevincox.ca> | 2020-10-11 07:29:58 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-11 07:29:58 -0400 |
commit | 8b33d575e49394d6e9a473d9410052ab82e87553 (patch) | |
tree | f676d1b439d0beb203bfe852445e0b987bee2113 /nixos | |
parent | fa0df4d5aba254e57a4ad86927f4c58f4ca895da (diff) | |
parent | 4336f9f7bbea908eff7eb44dc95a90f5b1023969 (diff) | |
download | nixpkgs-8b33d575e49394d6e9a473d9410052ab82e87553.tar nixpkgs-8b33d575e49394d6e9a473d9410052ab82e87553.tar.gz nixpkgs-8b33d575e49394d6e9a473d9410052ab82e87553.tar.bz2 nixpkgs-8b33d575e49394d6e9a473d9410052ab82e87553.tar.lz nixpkgs-8b33d575e49394d6e9a473d9410052ab82e87553.tar.xz nixpkgs-8b33d575e49394d6e9a473d9410052ab82e87553.tar.zst nixpkgs-8b33d575e49394d6e9a473d9410052ab82e87553.zip |
Merge pull request #98084 from turion/patch-5
agda.section.md: Fix header and enumeration
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" ) |