Hi, I am surprised to see the .idea directory in the Frege repository. The IntelliJ IDEA files are all specific to the machine being used and so as soon as I use it on the Frege source the files will change. We have a special IDEA file set in the GPars repository for CI, but it is in a non standard location so it can be specific to the CI server.
Can I recommend removing the .idea file and then putting a rule in the .gitignore file to ignore the /.idea/ directory? I am posting here first instead of an issue just in case there is some reason I hadn't thought of for actually having it present. -- Russel. ============================================================================= Dr Russel Winder t: +44 20 7585 2200 voip: sip:russel.win...@ekiga.net 41 Buckmaster Road m: +44 7770 465 077 xmpp: rus...@winder.org.uk London SW11 1EN, UK w: www.russel.org.uk skype: russel_winder -- You received this message because you are subscribed to the Google Groups "Frege Programming Language" group. To unsubscribe from this group and stop receiving emails from it, send an email to frege-programming-language+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: This is a digitally signed message part