diff options
Diffstat (limited to 'docs/proj')
| -rw-r--r-- | docs/proj/index.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/proj/index.xml b/docs/proj/index.xml index 0f98364e9..98656304d 100644 --- a/docs/proj/index.xml +++ b/docs/proj/index.xml @@ -43,6 +43,7 @@ <dev role="member" description="General package maintainer, g-octave developer">rafaelmartins</dev> <dev role="member" description="General package maintainer">xarthisius</dev> <dev role="member" description="g-cran developer">tulcod</dev> + <dev role="member" description="General package maintainer, sci-electronics">tomjbe</dev> <dev role="my role in the science project" description="what i do mainly">dev-username</dev> <!-- Subprojects |