diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-05 18:30:31 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-05 18:30:31 +0200 |
| commit | ebb3a91b0b1135f099056f1147abc0f5aafaedb6 (patch) | |
| tree | d19a28aa910df2c8f41e9d872a9633e1cdec8e1c /Makefile | |
| parent | 02a5a7597ea1148db91a25273d5add4dd43ec73e (diff) | |
| parent | 80ba2676e9fff6ecad9151ea0456ce818afabf47 (diff) | |
| parent | 4e9c8ee467dd87d41d5aaa3c5a487e3f05ffb79c (diff) | |
| download | sparse-dev-ebb3a91b0b1135f099056f1147abc0f5aafaedb6.tar.gz | |
Merge branches 'no-path-max', 'vcompound' and 'build-x32' into tip