diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-08-06 13:25:54 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-08-06 13:25:54 +0200 |
| commit | c602e11a3642fe9cd59a3526fb4f99912e275092 (patch) | |
| tree | ea533c922f53addc25a985541cd82c786ad336d7 /contrib/pp/conf.py | |
| parent | 6834b1290fa4bd9d6331329282f72f1f67b4d1bf (diff) | |
-merge eufin branch (manually)
Diffstat (limited to 'contrib/pp/conf.py')
0 files changed, 0 insertions, 0 deletions