2012-05-09から1日間の記事一覧

fenrir にパスを追加

yesiam: ppx上で選択したエントリをfenrirのpathファイルに追加できるようにしてみる で path ファイルに追加しているけれど、fenrir を終了すると消えちゃわないのかな? 設定によるのかもしれないけれど。よくわからないので path へ追加する前に fenrir …