summaryrefslogtreecommitdiff
path: root/src/coq
diff options
context:
space:
mode:
authorGravatar Karn Kallio <kkallio@eka>2011-10-14 01:33:03 -0530
committerGravatar Karn Kallio <kkallio@eka>2011-10-14 01:33:03 -0530
commit4a35810fb9430c5b229beeffa2246824d091cdac (patch)
tree50d09ebb9dd61e4c628d7bf29b2e9a2b0de01641 /src/coq
parentff119b6f75734c94df9f86cda58e95e1b6506705 (diff)
IF THEN ELSE conditional for SQL.
Diffstat (limited to 'src/coq')
0 files changed, 0 insertions, 0 deletions