diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-07-10 16:55:26 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-07-10 16:55:26 +0200 |
| commit | 6c447554581cbd3fef56e3cfad2031970b2d06cb (patch) | |
| tree | 8e7ca7398a9905a5f9c253cdbb9f2df2dd511a1a /src/.gitignore | |
| parent | 6a483b51ec6b857982a45d5215834c99a827066f (diff) | |
use DK age group, not global age group
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions