author | Helmut Grohne <helmut@subdivi.de> | |
Sun, 22 Jan 2012 21:47:39 +0000 (22:47 +0100) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Sun, 22 Jan 2012 21:47:39 +0000 (22:47 +0100) | ||
commit | 7b1b49cf6085172526b93e3b652c74ba091d7070 | |
tree | 6581034881a98431aff680581b96038e752d841e | tree | snapshot |
parent | 347f4ff2ed76a0fc5648faf698b054efba51e0ff | commit | diff |
Bidir.agda | diff | blob | history |