Revision 1709026

Jump to revision:
Author:	tv
Date:	Wed Mar 24 15:59:15 2021 UTC (3 years ago)
Changed paths:	2
Log Message:	drop because it is unused

Changed paths

Path	Details
cauldron/ocaml-atd/	deleted
obsolete/ocaml-atd/ (Copied from cauldron/ocaml-atd, r1709025)	added