Skip to content
Snippets Groups Projects
user avatar
Markus Blatt authored
Remove doc/comm as it is now part of dune-common Somehow the deletion of doc/comm got lost while resolving a tree conflict

[[Imported from SVN: r1785]]
a184567f
History