Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
cdr
cdr.common-lisp.dev
Commits
532ab373
Commit
532ab373
authored
Jan 21, 2022
by
Marco Antoniotti
💬
Browse files
Added Didier Verna as editor.
parent
1e43dcb1
Pipeline
#5839
passed with stage
in 2 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
index_files/editors.html
View file @
532ab373
...
...
@@ -14,8 +14,12 @@
<p>
The current
<strong>
CDR
</strong>
editors are:
</p>
<ul>
<li><a
href=
https://dcb.disco.unimib.it/people/antoniotti-marco
target=
"_blank"
>
Marco Antoniotti
</a></li>
<li><a
href=
http://www.informatimago.com
target=
"_blank"
>
Pascal Bourguignon
</a></li>
<li><a
href=
"https://dcb.disco.unimib.it/people/antoniotti-marco"
target=
"_blank"
>
Marco Antoniotti
</a></li>
<li><a
href=
"http://www.informatimago.com"
target=
"_blank"
>
Pascal Bourguignon
</a></li>
<li><a
href=
"https://www.lrde.epita.fr/~didier/"
target=
"_blank"
>
Didier Verna
</a></li>
</ul>
</body>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment