diff options
| author | Omar Antolín <omar.antolin@gmail.com> | 2022-11-28 17:30:26 -0600 |
|---|---|---|
| committer | Omar Antolín <omar.antolin@gmail.com> | 2022-11-28 17:30:26 -0600 |
| commit | 004cee6b8e01f8eb0cb1c683d0a637b14890600f (patch) | |
| tree | ad0fbb1e7de44a221bd084f6953ce32153182ae2 /orderless.texi | |
| parent | 2debd96da6f75703ccbca6d852ad994ce84fa529 (diff) | |
Bump version number (fix #116)0.8
Diffstat (limited to 'orderless.texi')
0 files changed, 0 insertions, 0 deletions