Project

General

Profile

« Previous | Next » 

Revision ef7c04ac

Added by Marc Dequènes about 14 years ago

  • ID ef7c04acb135f91851c8cc528624cab52d485c27

[evol] mapmaker_client can now exit when all is done (not too early, without race conditions)

  • added
  • modified
  • copied
  • renamed
  • deleted