Age | Commit message (Expand) | Author |
---|---|---|
2022-06-02 | Switch to Mozilla Public License 2.0 | pgen |
2020-08-16 | Sync with github's ctxopt commit bbe7f4e | pgen |
2020-07-18 | Sync with github's ctxopt commit b90a163 | pgen |
2020-07-18 | Sync with github's ctxopt commit 450c47f | pgen |
2020-06-12 | Sync with github's ctxopt commit 8a28aa8 | pgen |
2020-05-06 | Sync with github's ctxopt commit 30ba991 | pgen |
2020-04-27 | Sync with github's ctxopt commit 59a7751 | pgen |
2020-04-23 | Sync with github's ctxopt commit ba82378 | pgen |
2020-04-19 | Sync with github's ctxopt commit 52bdfa8 | pgen |
2020-04-06 | Sync with github's ctxopt commit a1ac676 | pgen |
2020-03-24 | Sync with github's ctxopt commit c62e2ae | pgen |
2019-11-23 | Update ctxopt | pgen |
2019-10-05 | Add long options in the manual + work on contexts | pgen |
2019-10-01 | Use ctxopt.[ch] for options management | pgen |