{
  "type": "file",
  "name": "/home/lively4/lively4/lively4-portal/src/external/highlight.css",
  "size": 831,
  "version": "e61e0f164ef5a4d1f429fc0e06cac418c6530805",
  "modified": "2022-06-09 23:10:55"
}