equal
deleted
inserted
replaced
512 (eval-after-load 'grep |
512 (eval-after-load 'grep |
513 '(progn |
513 '(progn |
514 (add-to-list 'grep-find-ignored-directories "build" t) |
514 (add-to-list 'grep-find-ignored-directories "build" t) |
515 (add-to-list 'grep-find-ignored-directories "dist" t) |
515 (add-to-list 'grep-find-ignored-directories "dist" t) |
516 (add-to-list 'grep-find-ignored-directories "lib" t) |
516 (add-to-list 'grep-find-ignored-directories "lib" t) |
|
517 (add-to-list 'grep-find-ignored-directories "_build" t) |
|
518 (add-to-list 'grep-find-ignored-directories "_dist" t) |
|
519 (add-to-list 'grep-find-ignored-directories "_lib" t) |
517 |
520 |
518 (when (boundp 'grep-find-ignored-files) |
521 (when (boundp 'grep-find-ignored-files) |
519 (add-to-list 'grep-find-ignored-files "*TAGS") |
522 (add-to-list 'grep-find-ignored-files "*TAGS") |
520 (add-to-list 'grep-find-ignored-files "GPATH") |
523 (add-to-list 'grep-find-ignored-files "GPATH") |
521 ) |
524 ) |