typesetting/update-tests.rkt at 56431ddf47c0070a5b246efa4e1b5004bb8d11bf - typesetting - Gitea: Git with a cup of tea

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

5 lines

105 B

Racket

Raw Blame History

 #lang racket/base
 (require quadwriter "paths-to-test.rkt")
 (for-each update-test-pdf (find-test-paths))