Index of /code.haskell.org/Agda/_darcs/prefs/

../
binaries                                           15-Feb-2019 15:22                 423
boring                                             15-Feb-2019 15:22                1054
motd                                               15-Feb-2019 15:22                 513
prefs                                              15-Feb-2019 15:22                  85