diff options
author | Cole Helbling <cole.e.helbling@outlook.com> | 2020-06-17 13:50:59 -0700 |
---|---|---|
committer | Cole Helbling <cole.e.helbling@outlook.com> | 2020-06-17 13:51:43 -0700 |
commit | 5baa7541d73e57f26d1da9ca0c663cc7be31f256 (patch) | |
tree | 5f3188005bb7bf8d73430436ce9cc8f451b0ee1c /pkgs/servers/firebird | |
parent | e215c3bcac09ea3c1b1c9a5f9acd65b8e1791133 (diff) | |
download | nixlib-5baa7541d73e57f26d1da9ca0c663cc7be31f256.tar nixlib-5baa7541d73e57f26d1da9ca0c663cc7be31f256.tar.gz nixlib-5baa7541d73e57f26d1da9ca0c663cc7be31f256.tar.bz2 nixlib-5baa7541d73e57f26d1da9ca0c663cc7be31f256.tar.lz nixlib-5baa7541d73e57f26d1da9ca0c663cc7be31f256.tar.xz nixlib-5baa7541d73e57f26d1da9ca0c663cc7be31f256.tar.zst nixlib-5baa7541d73e57f26d1da9ca0c663cc7be31f256.zip |
agda: fix manual build
/build/doc/manual-full.xml:12764:35: error: ID "build-phase" has already been defined /build/doc/manual-full.xml:9029:33: error: first occurrence of ID "build-phase"
Diffstat (limited to 'pkgs/servers/firebird')
0 files changed, 0 insertions, 0 deletions