{
  "id": "f178a4a9-d090-4b56-bc4c-4b72a61a035d",
  "snapshot": "libreoffice_writer",
  "instruction": "Make Times New Roman the default Font",
  "source": "https://ask.libreoffice.org/t/how-do-i-make-times-new-roman-the-default-font-in-lo/64604",
  "config": [],
  "trajectory": "trajectories/",
  "related_apps": [
    "libreoffice_writer"
  ],
  "evaluator": "evaluation_dir"
}