On 28.01.20 16:00, Lawrence Paulson wrote:
What is this file, which suddenly keeps getting created? Surely we
should add it to the ignore list?
See now:
changeset: 71411:839bf7d74fae
tag: tip
user: wenzelm
date: Tue Jan 28 20:26:23 2020 +0100
files: .hgignore
description:
ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);
This also belongs to the gradle/IntelliJ project setup for
Isabelle/Scala ("isabelle scala_project").
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
