diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-12 16:47:12 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-12 16:47:12 -0500 |
| commit | 75db964b0c56f1a3b04b77c33d226c4d9cd0ca54 (patch) | |
| tree | c30f7f17ae963e3f51cef111b2d549eacff1a852 /config/glpk.m4 | |
| parent | e6e02c32c58f9e5edde2dd85fc7b19ef001eea03 (diff) | |
Add nullary operator metakind.
Diffstat (limited to 'config/glpk.m4')
0 files changed, 0 insertions, 0 deletions