klimi
/
dotfiles
1
0
フォーク 0
コード 課題 0 プルリクエスト 0 リリース 0 Wiki アクティビティ
Klimi's new dotfiles with stow.
選択できるのは25トピックまでです。 トピックは、先頭が英数字で、英数字とダッシュ('-')を使用した35文字以内のものにしてください。
6 コミット
1 ブランチ
21 MiB
 
 
 
 
 
 
ツリー: 9e02e18ddd
ブランチ タグ
${ item.name }
ブランチ ${ searchTerm } を作成
'9e02e18ddd' から
${ noResults }
dotfiles/emacs/.emacs.d/elpa/yasnippet-snippets-20191010.../snippets/coq-mode/tactics/case.yasnippet

6 行
99 B
Raw Blame 履歴

# -*- mode: snippet -*-
# key: case
# group: tactics
# name: case
# --
case ${1:n} as [ | $1' ].$0