remove unnecessary files

essdotteedot · Nov 24, 2019 · fbe8fba · fbe8fba
1 parent a28905a
commit fbe8fba
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 12 deletions.
diff --git a/distributed-lwt.descr b/distributed-lwt.descr
diff --git a/distributed-uwt.descr b/distributed-uwt.descr
diff --git a/distributed.descr b/distributed.descr