[OCaml] High Intensity Training Online
fix correct FRACAS tool install path
The install snippet referenced the old fasoc directory. Point it at the current fracas directory so the one-time load works.
.kiro/skills/fracas/fracas-tools.el
@@ -31,7 +31,7 @@
31
31
;;
32
32
;; Install (run once per Emacs session):
33
33
;;
34
Removed:
;; (load "/home/blendux/git/hito/.kiro/skills/fasoc/fracas-tools.el")
34
Added:
;; (load "/home/blendux/git/hito/.kiro/skills/fracas/fracas-tools.el")
35
35
;;
36
36
;; The tools self-register on load. With `mcp-server-emacs-tools-enabled' set
37
37
;; to `all' (the default), they appear in the MCP tool list immediately.