RevisionHeader classe

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

Il tipo RevisionHeader espone i seguenti membri:

Costruttore	Descrizione
`__init__(self)`	Costruisce una nuova istanza di RevisionHeader

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