diff options
| author | Jason Gross | 2018-05-23 09:59:18 -0400 |
|---|---|---|
| committer | GitHub | 2018-05-23 09:59:18 -0400 |
| commit | 659696f3c1bae265cb71f1bc4b6ebc5f933db223 (patch) | |
| tree | 12825928914dc95a8e9f5259e307033a0767a9df /kernel/nativelambda.ml | |
| parent | 8f227c6db0d111a05147500dec05872e4010c892 (diff) | |
Remove dashes from PR template
As per PR comment suggestion
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions