classe RevisionHeader

Rappresenta un elenco di modifiche specifiche apportate a questa cartella di lavoro.

Il tipo RevisionHeader espone i membri seguenti:

Costruttore	Descrizione
RevisionHeader()	Costruisce una nuova istanza di RevisionHeader

Proprietà	Descrizione
saved_time	Ottiene e imposta la data e l’ora in cui questo set di revisioni è stato salvato.
user_name	Ottiene e imposta il nome dell’utente che effettua la revisione.