diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-16 15:14:35 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-21 02:49:44 +0200 |
| commit | 5a2aa843532db560efc692708d5849e005171852 (patch) | |
| tree | 9a86c51b04ddd0c29ef1f9391679e90e2daef2a7 /.gitignore | |
| parent | f69126d5d45d0f8a243880c5919efc45a0a0197f (diff) | |
| download | sparse-dev-5a2aa843532db560efc692708d5849e005171852.tar.gz | |
api: move evaluate interface to its own header file
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions