Skip to content
Snippets Groups Projects
Commit 59dfb79d authored by Richard W.M. Jones's avatar Richard W.M. Jones
Browse files

Remove NOTES from EXTRA_DIST. 

This updates commit 3d473620.
parent bc0db2ae
No related branches found
Tags 0.2
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
Makefile.am
+ 0
− 1
View file @ 59dfb79d
...@@ -31,7 +31,6 @@ EXTRA_DIST = \ ...@@ -31,7 +31,6 @@ EXTRA_DIST = \
goaljobs.spec.in \ goaljobs.spec.in \
html/.gitignore \ html/.gitignore \
META.in \ META.in \
NOTES \
pa_goal.ml \ pa_goal.ml \
README \ README \
TODO TODO
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment