github/wiki.git/docs/es/cmake-options.md, branch master Unnamed repository; edit this file 'description' to name the repository. Add (Translation/ES) cmake-options (#779) 2022-07-17T15:56:49+00:00 Walter Pagani paganiwalter@gmail.com 2022-07-17T15:56:49+00:00 cb43e26d243ac94d96938fdf712cd0f7163c6116