Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: bfe59739f3
Fetching contributors…

Cannot retrieve contributors at this time

11 lines (8 sloc) 0.219 kb
open build/C
open build/OCaml
open build/LaTeX
# The command-line variables are defined *after* the
# standard configuration has been loaded.
DefineCommandVars()
# Include the OMakefile in this directory.
.SUBDIRS: .
Jump to Line
Something went wrong with that request. Please try again.