Module Name:    src
Committed By:   christos
Date:           Tue Sep  1 19:58:57 UTC 2015

Modified Files:
        src/distrib/sets/lists/debug: shl.mi

Log Message:
mark a rump library as such


To generate a diff of this commit:
cvs rdiff -u -r1.108 -r1.109 src/distrib/sets/lists/debug/shl.mi

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Reply via email to