diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-12-21 01:54:31 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-12-21 01:54:31 +0100 |
| commit | 69a789a78d4e64052628307f25310e195a50f5ee (patch) | |
| tree | 9fc4747117c05c39221c2e5763af2301bcf0ab38 /validation/backend | |
| parent | eeacb2cb90b2a6275935bb61613383413a9d2779 (diff) | |
| parent | 696b243a5ae0b532c5505d53ae176fc3ac501579 (diff) | |
| download | sparse-dev-69a789a78d4e64052628307f25310e195a50f5ee.tar.gz | |
Merge branches 'deref-fun-ptr' and 'deref-base-type' into tip
Diffstat (limited to 'validation/backend')
0 files changed, 0 insertions, 0 deletions