bin/dunecontrol · b43e261b7f0bb7427b5921940528a008facf7f13 · Core Modules / dune-common

15 years ago

Christian Engwer authored 15 years ago

foreign 1.5 (require automake >= 1.5)
and
tar-pax (use pax archive format)

[[Imported from SVN: r5790]]

16d6e467

Christian Engwer authored 15 years ago

foreign 1.5 (require automake >= 1.5)
and
tar-pax (use pax archive format)

[[Imported from SVN: r5790]]