diff options
author | Christian Grothoff <christian@grothoff.org> | 2023-02-06 16:12:36 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2023-02-06 16:12:36 +0100 |
commit | 35ca280a76340f52284378083d97701a459ff5fb (patch) | |
tree | bc52f661e1a77186a699e01b7ea7d9a545c1cccf /contrib/sphinx | |
parent | 763335e08dd7e3feff6184879471198f5852821d (diff) | |
download | gnunet-35ca280a76340f52284378083d97701a459ff5fb.tar.gz gnunet-35ca280a76340f52284378083d97701a459ff5fb.zip |
-remove dead variable, obsoleted by patch for #7617
Diffstat (limited to 'contrib/sphinx')
m--------- | contrib/sphinx | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/sphinx b/contrib/sphinx | |||
Subproject 4f40b5deca02c8dc64ff6c73e6602e6abdd1bae | Subproject 9c5b9d9040d21542eff792e26624cf9669b127a | ||