diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-15T12·42+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-15T12·42+0000 |
| commit | ebff82222c7b946e70e539389c0027529b6c7ad0 (patch) | |
| tree | 4f3352f66c91f6f21ef47b1b07f763f4be0ffeb0 /substitute.mk | |
| parent | 5fc71276430e8e6a4588fa54da692f81d5ada585 (diff) | |
* Refactoring: move all database manipulation into store.cc.
* Removed `--query --generators'.
Diffstat (limited to 'substitute.mk')
0 files changed, 0 insertions, 0 deletions