Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 20-Jan-2021 09:45:56 JST きゅーけー

   ソースコードに EDIT THIS SECTION って書いてあるの初めてみたかもhttps://github.com/acl2/acl2/blob/master/emacs/emacs-acl2.el#L157-L172

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 20-Jan-2021 09:49:30 JST きゅーけー

     in reply to

     ソースコードではなく emacs の設定ファイルとして捉えれば、EDIT THIS SECTION って書いてあるのは当然か。