Changeset 80fe3f in git
- Timestamp:
- Jan 6, 2014, 9:28:26 PM (10 years ago)
- Branches:
- (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
- Children:
- 9dba83b67ef6188c31760d27748664d42a28b6db
- Parents:
- b1b9e1f448aca273a22cb770fd8bde277e3e8a1d
- Files:
-
- 2 added
- 1 edited
-
Makefile.am (modified) (1 diff)
-
doc/ESingular.man (added)
-
doc/TSingular.man (added)
Legend:
- Unmodified
- Added
- Removed
-
Makefile.am
rb1b9e1f r80fe3f 24 24 nodist_configheader_HEADERS = singularconfig.h 25 25 26 dist_man1_MANS = doc/Singular.man 26 dist_man1_MANS = doc/Singular.man doc/ESingular.man doc/TSingular.man 27 27
Note: See TracChangeset
for help on using the changeset viewer.
