diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-12-07 10:02:04 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-07 10:02:04 -0500 |
| commit | df9e9c28d419323976875d76b982838dd984eda2 (patch) | |
| tree | 4ff84680b2fec4fa671754ce8c5d082269968da4 /src/order.sig | |
| parent | e41ef25044804ff53d494ade7cf7d1bfe0f280c7 (diff) | |
Finish documenting queries; remove a stray [unit] argument
Diffstat (limited to 'src/order.sig')
0 files changed, 0 insertions, 0 deletions