[acl2/acl2] 73d2af: Remove obsolete file.

0 views

Skip to first unread message

unread,

Jun 27, 2026, 5:29:43 PM (9 hours ago) Jun 27

to acl2-...@googlegroups.com

Branch: refs/heads/cleanup
Home: https://github.com/acl2/acl2
Commit: 73d2af4a4ae972a46ebfd946eb231f8a045f46c6
https://github.com/acl2/acl2/commit/73d2af4a4ae972a46ebfd946eb231f8a045f46c6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
R books/misc/records-bsd.lisp

Log Message:
-----------
Remove obsolete file.

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

Reply all

Reply to author

Forward

0 new messages