| commit | 5252cc71eb72637491b40beed1e217e0425a5d42 | |
| author | Mauricio Fernández <mfp@acm.org> | |
| Wed, 10 Nov 2021 20:06:27 +0000 (10 21:06 +0100) | ||
| committer | Mauricio Fernández <mfp@acm.org> | |
| Wed, 10 Nov 2021 20:06:27 +0000 (10 21:06 +0100) | ||
| tree | ff90ceb626232af2c5ad494a160a3df53d772d5d | treesnapshot (tar.gz zip) |
| parent | 45d9456f914491b068b4625d27b97493822966b9 | commitdiff |
sql: refactoring (SingleIn -> SingleText)
| lib/sql.ml | diffblobblamehistory | |
| lib/syntax.ml | diffblobblamehistory | |
| src/gen.ml | diffblobblamehistory | |
| src/gen_caml.ml | diffblobblamehistory | |
| src/test.ml | diffblobblamehistory |