diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-24T16·44+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-24T16·44+0000 |
| commit | af565c348a286fb55ad17f8c3c4233465d32a9f6 (patch) | |
| tree | a7f19c633efc41009d31487542f658a6e1794747 /aterm-gc.supp | |
| parent | e33f67ff0b02cc8fc2e0024dd87a6d61467df177 (diff) | |
* Support read-only access to the database.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions