diff options
| author | Omar Antolín <omar.antolin@gmail.com> | 2021-01-18 11:07:00 -0600 |
|---|---|---|
| committer | Omar Antolín <omar.antolin@gmail.com> | 2021-01-18 11:07:00 -0600 |
| commit | ec711079923a4817f638c520c56b575dd9084da9 (patch) | |
| tree | c4efb81c9949fb893a39d19b939d97421b666b6b /orderless.texi | |
| parent | d1c0cbf87ba7d927ec64c161ec3aac65b9643b61 (diff) | |
| parent | cbc0109eac542ef4fe0be027af1c62c4bbf846ee (diff) | |
Merge branch 'master' of https://github.com/oantolin/orderless
Diffstat (limited to 'orderless.texi')
0 files changed, 0 insertions, 0 deletions