Update README.md · coq-bench/database@6b93ba2 · GitHub

This repository has been archived by the owner on Sep 4, 2019. It is now read-only.

Commit

Update README.md

Browse files

Loading branch information

clarus committed Feb 10, 2015

1 parent 9ad1e1e commit 6b93ba2

README.md

            
                      Original file line number
                      Diff line number
                      Diff line change
                  
    @@ -1,2 +1,2 @@
  
    # database

     Backup of the benchmarks. 

    # Database

    Backup of the benchmarks.

0 comments on commit `6b93ba2`

Please sign in to comment.