Project

General

Profile

« Previous | Next » 

Revision 6e0d89ec

ID6e0d89ec1d1f069a33910b0b1da2e649b391a3a5
Parent 30189b61
Child 5c331673

Added by Katja Luther about 1 year ago

ref #7793: preference to disable id in source and name in source

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)