diff options
Diffstat (limited to 'lang/drscheme/distinfo')
-rw-r--r-- | lang/drscheme/distinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/drscheme/distinfo b/lang/drscheme/distinfo new file mode 100644 index 000000000000..3749cb0712ab --- /dev/null +++ b/lang/drscheme/distinfo @@ -0,0 +1 @@ +MD5 (plt.src.x.tar.gz) = 4a8abe4950351b68cbf0e03219250313 |