diff options
| author | jao <jao@gnu.org> | 2022-09-17 05:31:24 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-09-17 05:31:24 +0100 |
| commit | cb7d2cecc2fa1a81cb8268cc726d582bebcb1dd0 (patch) | |
| tree | 495b888b40efb3ec4b6d7f2ed8be55eff3c5ad62 /doc/web/makefile | |
| parent | affa9bb3679cee54a7af106e7cd10a7ba921341c (diff) | |
| download | xmobar-cb7d2cecc2fa1a81cb8268cc726d582bebcb1dd0.tar.gz xmobar-cb7d2cecc2fa1a81cb8268cc726d582bebcb1dd0.tar.bz2 | |
testing CI flags usage
Diffstat (limited to 'doc/web/makefile')
0 files changed, 0 insertions, 0 deletions