diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-24T15·07+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-24T15·07+0000 |
| commit | cfe742cfc50e40b590e75200179013dd62b07bde (patch) | |
| tree | 1492982e624b32d8e044c58c4eb27419c85e5756 /make | |
| parent | 6baa2a2f5ef5b11859b95f453338efaf7c5b2724 (diff) | |
* A function to query just the database id of a valid path.
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions