File smlnj-rpmlintrc of Package smlnj
# The smlnj base is known to have many "hidden" dirs such # as .cm, .run, .heap, etc addFilter("hidden-file-or-dir")
# The smlnj base is known to have many "hidden" dirs such # as .cm, .run, .heap, etc addFilter("hidden-file-or-dir")