Browse Source
This adds flexibility to the makefile by allowing different pde targets to be specified for different needs.pull/1/head
Phil Hord
13 years ago
committed by
Phil Hord
1 changed files with 7 additions and 5 deletions
Loading…
Reference in new issue