diff options
| author | rsiddharth <rsd@gnu.org> | 2017-06-01 01:05:33 +0000 |
|---|---|---|
| committer | rsiddharth <rsd@gnu.org> | 2017-06-01 01:05:33 +0000 |
| commit | 0e577a42d4a1a2d858acaa5934c23294f40a303e (patch) | |
| tree | 2e1ea32ca64f6278fe5d54a314958c99e3e80417 /Makefile | |
| parent | 33f3884d41932359c27dc2fdc470bb8f2540a3bb (diff) | |
lps_gen.py: Fix whitspace issues.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions