{
  "type": "file",
  "name": "/home/lively4/lively4/lively4-RP19-4/src/external/highlight.css",
  "size": 831,
  "version": "e61e0f164ef5a4d1f429fc0e06cac418c6530805",
  "modified": "2019-11-05 12:06:31"
}