| author | Jim Huang <jserv.tw@gmail.com> | |
| Mon, 16 Aug 2021 13:21:10 +0000 (21:21 +0800) | ||
| committer | Jim Huang <jserv.tw@gmail.com> | |
| Mon, 16 Aug 2021 13:21:10 +0000 (21:21 +0800) | ||
| commit | 4acc65b740e0cd674a19badf03db8011631995ab | |
| tree | f03742e0a9066a5ab684967a52277751df2b8559 | tree | snapshot |
| parent | b497b6a34e956a86540e067e4c4a5c8b86a36ffa | commit | diff |
Use \verb for the identifiers starting with "--"
| lkmpg.tex | diff | blob | blame | history |